"Constraint-Based Heuristic On-line Test Generation from Non-deterministic ..."

Danel Ahman, Marko Kääramees (2012)

Details and statistics

DOI: 10.4204/EPTCS.80.9

access: open

type: Conference or Workshop Paper

metadata version: 2020-10-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics