Publications

Export 6 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Title is F and Author is Kiss, Ákos  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
Hodován R, Kiss Á.  2016.  Fuzzing JavaScript Engine APIs. Integrated Formal Methods – 12th International Conference, iFM 2016. 9681:425–438.
Hodován R, Kiss Á.  2018.  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.
Kiss Á.  2005.  Formalizing Slicing – Results, Current Work and Challenges. Beyond Program Slicing – Abstracts Collection. 05451:10–11.
Binkley D, Danicic S, Gyimóthy T, Harman M, Kiss Á, Ouarbya L.  2004.  Formalizing Executable Dynamic and Forward Slicing. Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004). :43–52.
Binkley D, Danicic S, Gyimóthy T, Harman M, Kiss Á, Korel B.  2006.  A Formalisation of the Relationship between Forms of Program Slicing. Science of Computer Programming. 62:228–252.
Gyimóthy T, Havasi F, Kiss Á.  2011.  Fordítóprogramok.