10 citations · 22 across the 4 of their papers we have counts for
4 papers
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
Márton Elekes, Vince Molnár, Zoltán Micskei
State machines are used in engineering many types of software-intensive systems. UML State Machines extend simple finite state machines with powerful constructs. Among the many ext…
Automated Isolation for White-box Test Generation
Dávid Honfi, Zoltán Micskei
Context. White-box test generation is a technique used for automatically selecting test inputs using only the source or binary code. However, such techniques encounter challenges w…
Towards Evaluating Size Reduction Techniques for Software Model Checking
Gyula Sallai, Ákos Hajdu, Tamás Tóth +1
Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to…
Classifying the Correctness of Generated White-Box Tests: An Exploratory Study
David Honfi, Zoltan Micskei
White-box test generator tools rely only on the code under test to select test inputs, and capture the implementation's output as assertions. If there is a fault in the implementat…