32 citations · 39 across the 4 of their papers we have counts for
4 papers
Code Coverage and Test Automation: State of the Art
Karl Meinke
This chapter surveys the state of the art in code coverage from the perspective of test automation. Our aim is to describe and motivate the three most popular classes of glass box…
funcGNN: A Graph Neural Network Approach to Program Similarity
Aravind Nair, Avijit Roy, Karl Meinke
Program similarity is a fundamental concept, central to the solution of software engineering tasks such as software plagiarism, clone identification, code refactoring and code sear…
IDS: An Incremental Learning Algorithm for Finite Automata
Muddassar A. Sindhu, Karl Meinke
We present a new algorithm IDS for incremental learning of deterministic finite automata (DFA). This algorithm is based on the concept of distinguishing sequences introduced in (An…
An n log n Alogrithm for Deterministic Kripke Structure Minimization
Karl Meinke, Muddassar A. Sindhu
We introduce an algorithm for the minimization of deterministic Kripke structures with O(kn log2 n) time complexity. We prove the correctness and complexity properties of this algo…