Follow
Amirfarhad Nilizadeh
Amirfarhad Nilizadeh
Verified email at amd.com
Title
Cited by
Cited by
Year
Exploring true test overfitting in dynamic automated program repair using formal methods
A Nilizadeh, GT Leavens, XBD Le, CS Păsăreanu, DR Cok
2021 14th IEEE conference on software testing, verification and validation …, 2021
452021
A novel steganography method based on matrix pattern and LSB algorithms in RGB images
A Nilizadeh, ARN Nilchi
2016 1st Conference on Swarm Intelligence and Evolutionary Computation …, 2016
282016
Steganography on RGB Images Based on a" Matrix Pattern" using Random Blocks.
AF Nilizadeh, ARN Nilchi
International Journal of Modern Education & Computer Science 5 (4), 2013
282013
Information Hiding in RGB Images Using an Improved Matrix Pattern Approach.
A Nilizadeh, W Mazurczyk, CC Zou, GT Leavens
CVPR Workshops, 1407-1415, 2017
212017
More reliable test suites for dynamic APR by using counterexamples
A Nilizadeh, M Calvo, GT Leavens, XBD Le
2021 IEEE 32nd International Symposium on Software Reliability Engineering …, 2021
182021
Automated program repair and test overfitting: measurements and approaches using formal methods
A Nilizadeh
2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022
122022
Generating counterexamples in the form of unit tests from Hoare-style verification attempts
A Nilizadeh, M Calvo, GT Leavens, DR Cok
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022
112022
Using a guided fuzzer and preconditions to achieve branch coverage with valid inputs
A Nilizadeh, GT Leavens, CS Păsăreanu
International Conference on Tests and Proofs, 72-84, 2021
112021
Be realistic: Automated program repair is a combination of undecidable problems
A Nilizadeh, GT Leavens
Proceedings of the Third International Workshop on Automated Program Repair …, 2022
102022
Block texture pattern detection based on smoothness and complexity of neighborhood pixels
AF Nilizadeh, ARN Nilchi
IJ Image, Graphics and Signal Processing (IJIGSP) 20, 1-9, 2014
102014
Further lessons from the JML project
GT Leavens, DR Cok, A Nilizadeh
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022
92022
Adaptive matrix pattern steganography on RGB images
A Nilizadeh, S Nilizadeh, W Mazurczyk, C Zou, GT Leavens
Journal of Cyber Security and Mobility, 1-28, 2022
92022
JMLKelinci+: Detecting semantic bugs and covering branches with valid inputs using coverage-guided fuzzing and runtime assertion checking
A Nilizadeh, GT Leavens, CS Păsăreanu, Y Noller
Formal Aspects of Computing 36 (1), 1-24, 2024
52024
Test overfitting: challenges, approaches, and measurements
A Nilizadeh
and Measurements. Technical Report. University of Central Florida, Computer …, 2021
52021
Test overfitting: Challenges, approaches, and measurements
A Nilizadeh
University of Central Florida, Computer Science, Tech. Rep, 2021
42021
Steganography on RGB Images Based on a
AF Nilizadeh, ARN Nilchi
Matrix Pattern” using Random Blocks”, Copyright, 2013
42013
Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?
A Nilizadeh, GT Leavens, CS Pasareanu, XBD Le, DR Cok
17th IEEE International Conference on Software Testing, Verification and …, 2024
22024
Automated reasoning repair
A Nilizadeh, GT Leavens, DR Cok
Proceedings of the 24th ACM International Workshop on Formal Techniques for …, 2022
22022
JMLKelinci
A Nilizadeh
github. com/Amirfarhad-Nilizadeh/JMLKelinci. Accessed, 08-28, 2021
22021
Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs.
A Nilizadeh, GT Leavens, DR Cok
J. Object Technol. 23 (2), 2, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20