international journal on software tools for technology transfer (8)
revue archeologique (3)
science of computer programming (3)
software quality journal (3)
gallia (2)
microprocessors and microsystems (2)
revue archeologique de picardie (2)
2009 fourth international conference on software engineering advances, software engineering advances, 2009. icsea '09. fourth international conference on (1)
2010 8th ieee international conference on software engineering and formal methods, software engineering and formal methods (sefm), 2010 8th ieee international conference on (1)
2011 18th asia pacific software engineering conference (apsec) (1)
2011 18th asia-pacific software engineering conference, software engineering conference (apsec), 2011 18th asia pacific (1)
2012 19th asia-pacific software engineering conference (1)
2012 19th asia-pacific software engineering conference, software engineering conference (apsec), 2012 19th asia-pacific (1)
2012 ieee 14th international symposium on high-assurance systems engineering (1)
2012 ieee 14th international symposium on high-assurance systems engineering, high-assurance systems engineering (hase), 2012 ieee 14th international symposium on (1)
2013 20th asia-pacific software engineering conference (apsec), software engineering conference (apsec), 2013 20th asia-pacific (1)
2014 21st asia-pacific software engineering conference (1)
2014 21st asia-pacific software engineering conference, software engineering conference (apsec), 2014 21st asia-pacific (1)
2014 ieee seventh international conference on software testing, verification & validation workshops (1)
2014 ieee seventh international conference on software testing, verification and validation workshops, software testing, verification and validation workshops (icstw), 2014 ieee seventh international conference on (1)
2016 ieee 19th international symposium on real-time distributed computing (isorc) (1)
2016 ieee 19th international symposium on real-time distributed computing (isorc), real-time distributed computing (isorc), 2016 ieee 19th international symposium on (1)
complex systems design & management (9783319116167) (1)
entcs: electronic notes in theoretical computer science (1)
formal aspects of component software (9783642357428) (1)
microprocessors & microsystems (1)
model-based testing of reactive systems (1)
proceedings of the 2009 esec/fse workshop on software integration and evolution @ runtime (1)
proceedings of the 2009 esec/fse workshop: software integration & evolution @ runtime (1)
proceedings of the 36th annual acm symposium on applied computing (1)
satellite events at the models 2005 conference (1)
smart card research & advanced applications (1)
testing of communicating systems (9783540341840) (1)
testing of software & communicating systems (9783540685142) (1)
testing of software & communication systems (1)
testing software & systems (9783642346903) (1)
testing software & systems: 25th ifip wg 6.1 international conference, ictss 2013, istanbul, turkey, november 13-15, 2013, proceedings (1)
testing software & systems: 27th ifip wg 6.1 international conference, ictss 2015, sharjah & dubai, united arab emirates, november 23-25, 2015, proceedings (1)
tests and proofs (1)
the 1st workshop on uses of symbolic execution (use) (1)