Publications
Export 363 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is K [Clear All Filters]
Feature Analysis using Information Retrieval, Community Detection and Structural Analysis Methods in Product Line Adoption. Journal of Systems and Software. 155:70-90.
.
2019. Feature Analysis using Information Retrieval, Community Detection and Structural Analysis Methods in Product Line Adoption. Journal of Systems and Software. 155:70-90.
.
2019. Feature Level Complexity and Coupling Analysis in 4GL Systems. The 18th International Conference on Computational Science and Its Applications (ICCSA'18). 10964:438-453.
.
2018. First international workshop on federative and interoperable cloud infrastructures (FedICI 2013). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8374 LNCS:114-115.
.
2014. First international workshop on federative and interoperable cloud infrastructures (FedICI 2013). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8374 LNCS:114-115.
.
2014. Flexible Representation of IoT Sensors for Cloud Simulators. Proceedings - 2017 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2017. :199-203.
.
2017. Flexible Representation of IoT Sensors for Cloud Simulators. Proceedings - 2017 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2017. :199-203.
.
2017. .
2011. Formal Aspects of Grid Brokering. PDMC. :18-31.
.
2009. A Formalisation of the Relationship between Forms of Program Slicing. Science of Computer Programming. 62:228–252.
.
2006. A Formalisation of the Relationship between Forms of Program Slicing. Science of Computer Programming. 62:228–252.
.
2006. 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. .
2004. 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. Fuzzing JavaScript Engine APIs. Integrated Formal Methods – 12th International Conference, iFM 2016. 9681:425–438.
.
2016. General Flow-Sensitive Pointer Analysis and Call Graph Construction. Proceedings of the Estonian Academy of Sciences – Engineering. 11:286–295.
.
2005. 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. Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst.. 1:303–322.
.
1992. Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.
.
1991. Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.
.
1989. GMBS: A new middleware service for making grids interoperable. Future Generation Computer Systems. 26:542-553.
.
2010. GMBS: A new middleware service for making grids interoperable. Future Generation Computer Systems. 26:542-553.
.
2010. Graft: A model for evaluating actuator systems in terms of force production. Sensors (Switzerland). 20
.
2020. Grammarinator: A Grammar-based Open Source Fuzzer. Proceedings of the 9th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2018).
.
2018.