Publications
Prediction models for performance, power, and energy efficiency of software executed on heterogeneous hardware. JOURNAL OF SUPERCOMPUTING. 75:4001-4025.
.
2019. 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. Grammarinator: A Grammar-based Open Source Fuzzer. Proceedings of the 9th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2018).
.
2018. HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm. Proceedings of the 9th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2018). :16-22.
.
2018. Prediction Models for Performance, Power, and Energy Efficiency of Software Executed on Heterogeneous Hardware. Journal of Supercomputing. :25.
.
2018. Coarse Hierarchical Delta Debugging. Proceedings of the 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017). :194–203.
.
2017. Tree Preprocessing and Test Outcome Caching for Efficient Hierarchical Delta Debugging. Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing (AST 2017). :23–29.
.
2017. Fuzzing JavaScript Engine APIs. Integrated Formal Methods – 12th International Conference, iFM 2016. 9681:425–438.
.
2016. Modernizing Hierarchical Delta Debugging. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2016). :31–37.
.
2016. Practical Improvements to the Minimizing Delta Debugging Algorithm. Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) – Volume 1: ICSOFT-EA. :241–248.
.
2016. Prediction Models for Performance, Power, and Energy Efficiency of Software Executed on Heterogeneous Hardware. Proceedings of the 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2015). :178–183.
.
2015. Using GPU Acceleration in the GL2D Graphics Engine. Proceedings of the 18th IEEE International Symposium on Consumer Electronics (ISCE 2014). :42–43.
.
2014. Code Coverage Measurement Framework for Android Devices. Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13. :46–60.
.
2013. .
2013. Configuring Software for Reuse with VCL. Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13. :16–30.
.
2013. Runtime Exception Detection in Java Programs Using Symbolic Execution. Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13. :215–229.
.
2013. Implementation of an A+ Interpreter for .NET. JF ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. :297–302.
.
2012. Security Evolution of the Webkit Browser Engine. 14th IEEE International Symposium on Web Systems (WSE). :17–19.
.
2012. Software Quality Model and Framework with Applications in Industrial Context. Proceedings of the16th European Conference on Software Maintenance and Reengineering (CSMR'12). :453–456.
.
2012. .
2011.
A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science. 412:6809–6842.
.
2011. Validating JavaScript Guidelines Across Multiple Web Browsers. Nordic Journal of Computing. 15
.
2011. Regular Expressions on the Web. Proceedings of the 12th IEEE International Symposium on Web Systems Evolution (WSE 2010). :29–32.
.
2010. A Trajectory-based Strict Semantics for Program Slicing. Theoretical Computer Science. 411:1372–1386.
.
2010. Energy simulation of embedded XScale systems with XEEMU. J. Embedded Comput.. 3:209–219.
.
2009.