research
∙
02/02/2020
An Automated Testing Framework For Smart TV apps Based on Model Separation
Smart TV application (app) is a new technological software app that can ...
share
research
∙
07/21/2019
Code-Aware Combinatorial Interaction Testing
Combinatorial interaction testing (CIT) is a useful testing technique to...
research
∙
06/27/2019
Repairing Timed Automata Clock Guards through Abstraction and Testing
Timed automata (TAs) are a widely used formalism to specify systems havi...
research
∙
09/28/2011
