| 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 | 40 | 2021 |
| 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 |
| 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 | 28 | 2013 |
| 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, 1-28, 2022 | 9 | 2022 |
| Test overfitting: challenges, approaches A Nilizadeh and Measurements. Technical Report. University of Central Florida, Computer …, 2021 | 5 | 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 |
| Test overfitting: Challenges, approaches, and measurements A Nilizadeh University of Central Florida, Computer Science, Tech. Rep, 2021 | 4 | 2021 |
| Steganography on RGB Images Based on a AF Nilizadeh, ARN Nilchi Matrix Pattern” using Random Blocks”, Copyright, 2013 | 4 | 2013 |
| 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 |
| Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs. A Nilizadeh, GT Leavens, DR Cok J. Object Technol. 23 (2), 2, 2024 | | 2024 |
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
