Publications
Export 6 results:
Author Title [ Type] Year Filters: First Letter Of Title is F and Author is Kiss, Ákos [Clear All Filters]
.
2011.
Formalizing Executable Dynamic and Forward Slicing. Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004). :43–52.
.
2004. Formalizing Slicing – Results, Current Work and Challenges. Beyond Program Slicing – Abstracts Collection. 05451:10–11.
.
2005. Fuzzing JavaScript Engine APIs. Integrated Formal Methods – 12th International Conference, iFM 2016. 9681:425–438.
.
2016. Fuzzinator: An Open-Source Modular Random Testing Framework. Proceedings of the 11th IEEE International Conference on Software Testing, Verification and Validation (ICST 2018). :416-421.
.
2018. A Formalisation of the Relationship between Forms of Program Slicing. Science of Computer Programming. 62:228–252.
.
2006.