Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions.

Adriana Carla Damasceno, Patrcia Duarte de Lima Machado, Wilkerson de Lucena Andrade, Wesley Nunes Marques Torres

Browse the full ISORC paper archive.