journal of kiise (8)
ieee software (4)
2014 ieee seventh international conference on software testing, verification and validation (3)
ieee transactions on systems, man & cybernetics: part a (3)
information and software technology (3)
software testing, verification and reliability (3)
2022 ieee conference on software testing, verification and validation (icst) (2)
formal methods in system design (2)
icse: international conference on software engineering (2)
ieee access (2)
journal of materials science letters (2)
proceedings of the 2005 ieee international conference on robotics & automation (2)
proceedings of the 2005 ieee international conference on robotics and automation (2)
proceedings of the 2005 ieee international conference on robotics and automation, robotics and automation, 2005. icra 2005. proceedings of the 2005 ieee international conference on (2)
2008 1st international conference on software testing, verification & validation (1)
2008 23rd ieee/acm international conference on automated software engineering (1)
2008 international conference on software testing, verification, and validation (1)
2011 ieee 22nd international symposium on software reliability engineering (1)
2012 34th international conference on software engineering (icse) (1)
2012 ieee 23rd international symposium on software reliability engineering (1)
2012 ieee fifth international conference on software testing, verification and validation (1)
2013 ieee sixth international conference on software testing, verification and validation (1)
2014 21st asia-pacific software engineering conference (1)
2015 30th ieee/acm international conference on automated software engineering (ase) (1)
2015 ieee/acm 37th ieee international conference on software engineering (1)
2018 ieee 11th international conference on software testing, verification and validation (icst) (1)
acm transactions on software engineering and methodology (1)
automated technology for verification & analysis (1)
electronic notes in theoretical computer science (1)
ieee transactions on software engineering (1)
ieee transactions on systems, man, and cybernetics - part a: systems and humans (1)
journal of systems and software (1)
proceedings 2001 icra. ieee international conference on robotics and automation (cat. no.01ch37164) (1)
proceedings of international conference on robotics and automation (1)
proceedings of the 19th acm sigsoft symposium and the 13th european conference on foundations of software engineering (1)
proceedings of the 2012 international symposium on software testing and analysis (1)
proceedings of the 2019 27th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering (1)
proceedings of the 40th international conference on software engineering (1)
proceedings of the eighteenth acm sigsoft international symposium on foundations of software engineering (1)
proceedings. 27th international conference on software engineering, 2005. icse 2005. (1)
proceedings. 27th international conference on software engineering, 2005. icse 2005., software engineering, 2005. icse 2005. proceedings. 27th international conference on, software engineering (1)
reuse of off-the-shelf components (1)
theoretical aspects of computing - ictac 2004 (1)