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
332021
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
202017
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
162021
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
102022
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
102022
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
102021
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
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
92022
Adaptive matrix pattern steganography on RGB images
A Nilizadeh, S Nilizadeh, W Mazurczyk, C Zou, GT Leavens
Journal of Cyber Security and Mobility 11 (1), 1-28, 2022
92022
Test overfitting: Challenges, approaches, and measurements
A Nilizadeh
University of Central Florida, Computer Science, 2021
7*2021
Steganography on RGB Images Based on a
AF Nilizadeh, ARN Nilchi
Matrix Pattern” using Random Blocks”, Copyright, 2013
42013
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, 2023
32023
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
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
1*2024
International Workshop on Automated Program Repair
M Harman, S Kang, S Yoo, A Ghanbari, A Nilizadeh, T Gary, F Ribeiro, ...
2022
Test Overfitting in Automated Program Repair: Measurements and Approaches Using Formal Methods
A Nilizadeh
2021
The system can't perform the operation now. Try again later.
Articles 1–20