Amirfarhad Nilizadeh

According to our database, Amirfarhad Nilizadeh authored at least 13 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking.

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller

Formal Aspects Comput., March, 2024

Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs.

Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok

J. Object Technol., 2024

Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Xuan-Bach Dinh Le, David R. Cok

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

2022

Adaptive Matrix Pattern Steganography on RGB Images.

Amirfarhad Nilizadeh, Shirin Nilizadeh, Wojciech Mazurczyk, Cliff C. Zou, Gary T. Leavens

J. Cyber Secur. Mobil., 2022

Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods.

Amirfarhad Nilizadeh

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts.

Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

Be Realistic: Automated Program Repair is a Combination of Undecidable Problems.

Amirfarhad Nilizadeh, Gary T. Leavens

Proceedings of the 3rd IEEE/ACM International Workshop on Automated Program Repair, 2022

Automated Reasoning Repair.

Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022

Further Lessons from the JML Project.

Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs.

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu

Proceedings of the Tests and Proofs - 15th International Conference, 2021

More Reliable Test Suites for Dynamic APR by using Counterexamples.

Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, Xuan-Bach Dinh Le

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods.

Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2017

Information Hiding in RGB Images Using an Improved Matrix Pattern Approach.

Amirfarhad Nilizadeh, Wojciech Mazurczyk, Cliff C. Zou, Gary T. Leavens

Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017