Publications
Modernizing Hierarchical Delta Debugging. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2016). :31–37.
.
2016. Minimal Slicing and the Relationships between Forms of Slicing. Proceedings of the 5th {IEEE} International Workshop on Source Code Analysis and Manipulation ({SCAM} 2005). :45–54.
.
2005. Interprocedural Static Slicing of Binary Executables. Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003). :118–127.
.
2003. Implementation of an A+ Interpreter for .NET. JF ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. :297–302.
.
2012. Guidelines for JavaScript Programs: Are They Still Necessary? Proceedings of the 11th Symposium on Programming Languages and Software Tools (SPLST'09) and 7th Nordic Workshop on Model Driven Software Engineering (NW-MODE'09). :59–71.
.
2009. General Flow-Sensitive Pointer Analysis and Call Graph Construction. Proceedings of the 9th Symposium on Programming Languages and Software Tools (SPLST 2005). :49–58.
.
2005. Fuzzing JavaScript Engine APIs. Integrated Formal Methods – 12th International Conference, iFM 2016. 9681:425–438.
.
2016. Formalizing Slicing – Results, Current Work and Challenges. Beyond Program Slicing – Abstracts Collection. 05451:10–11.
.
2005. Formalizing Executable Dynamic and Forward Slicing. Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004). :43–52.
.
2004. Comparison on Static Slicing of C and Binary Programs. Volume of Extended Abstracts of the 4th Conference of PhD Students in Computer Science (CSCS 2004). :70.
.
2004. .
2013. Code Factoring in GCC. Proceedings of the 2004 GCC Developers' Summit. :79-84.
.
2004. Code Coverage Measurement Framework for Android Devices. Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13. :46–60.
.
2013. Columbus – Tool for Reverse Engineering Large Object Oriented Software Systems. Proceedings of the Seventh Symposium on Programming Languages and Software Tools (SPLST 2001). :16-27.
.
2001. Ambient Assisted Living in Rural Areas: Vision and Pilot Application. Constructing Ambient Intelligence – AmI 2007 Workshops, Darmstadt, Germany, November 7-10, 2007, Revised Papers. 11:246–252.
.
2008. .
2011.
Configuring Software for Reuse with VCL. Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13. :16–30.
.
2013.