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 | 36 | 2021 |
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 | 32* | 2013 |
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 | 28 | 2016 |
Information Hiding in RGB Images Using an Improved Matrix Pattern Approach. A Nilizadeh, W Mazurczyk, CC Zou, GT Leavens CVPR Workshops, 1407-1415, 2017 | 21 | 2017 |
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 | 17 | 2021 |
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 | 11 | 2022 |
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 | 11 | 2022 |
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 | 11 | 2021 |
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 | 10 | 2022 |
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 | 10 | 2014 |
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 | 9 | 2022 |
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 | 9 | 2022 |
Test overfitting: Challenges, approaches, and measurements A Nilizadeh University of Central Florida, Computer Science, 2021 | 7* | 2021 |
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 | 4 | 2024 |
Automated Reasoning Repair A Nilizadeh, GT Leavens, DR Cok Proceedings of the 24th ACM International Workshop on Formal Techniques for …, 2022 | 2 | 2022 |
JMLKelinci A Nilizadeh github. com/Amirfarhad-Nilizadeh/JMLKelinci. Accessed, 08-28, 2021 | 2 | 2021 |
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 |
Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs A Nilizadeh, GT Leavens, DR Cok | | |