Amirfarhad Nilizadeh

Orcid: 0000-0001-9031-5599

According to our database1, Amirfarhad Nilizadeh authored at least 10 papers between 2017 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Adaptive Matrix Pattern Steganography on RGB Images.
J. Cyber Secur. Mobil., 2022

Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods.
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.
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.
Proceedings of the 3rd IEEE/ACM International Workshop on Automated Program Repair, 2022

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

Further Lessons from the JML Project.
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.
Proceedings of the Tests and Proofs - 15th International Conference, 2021

More Reliable Test Suites for Dynamic APR by using Counterexamples.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods.
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.
Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017


  Loading...