Amirfarhad Nilizadeh

13 papers A 4Journal 3Unranked 6

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable? ICST Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Xuan-Bach Dinh Le, David R. Cok
2024	J	`jnl`	JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. Formal Aspects Comput. Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller
2024	J	`jnl`	Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs. J. Object Technol. Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok
2022	J	`jnl`	Adaptive Matrix Pattern Steganography on RGB Images. J. Cyber Secur. Mobil. Amirfarhad Nilizadeh, Shirin Nilizadeh, Wojciech Mazurczyk, Cliff C. Zou, Gary T. Leavens
2022	A	`conf`	Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods. ICST Amirfarhad Nilizadeh
2022	—	`conf`	Automated Reasoning Repair. FTfJP@ECOOP Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok
2022	—	`conf`	Be Realistic: Automated Program Repair is a Combination of Undecidable Problems. APR@ICSE Amirfarhad Nilizadeh, Gary T. Leavens
2022	—	`conf`	Further Lessons from the JML Project. The Logic of Software. A Tasting Menu of Formal Methods Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh
2022	—	`conf`	Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts. FormaliSE@ICSE Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok
2021	A	`conf`	Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. ICST Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok
2021	A	`conf`	More Reliable Test Suites for Dynamic APR by using Counterexamples. ISSRE Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, Xuan-Bach Dinh Le
2021	—	`conf`	Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. TAP@STAF Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu
2017	—	`conf`	Information Hiding in RGB Images Using an Improved Matrix Pattern Approach. CVPR Workshops Amirfarhad Nilizadeh, Wojciech Mazurczyk, Cliff C. Zou, Gary T. Leavens