Publications

Export 5 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is F and Author is Ákos Kiss  [Clear All Filters]
2016
Hodován R, Kiss Á.  2016.  Fuzzing JavaScript Engine APIs. Integrated Formal Methods – 12th International Conference, iFM 2016. 9681:425–438.
2011
Gyimóthy T, Havasi F, Kiss Á.  2011.  Fordítóprogramok.
2006
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.
2005
Kiss Á.  2005.  Formalizing Slicing – Results, Current Work and Challenges. Beyond Program Slicing – Abstracts Collection. 05451:10–11.
2004
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.