ieee transactions on software engineering (19)
icse: international conference on software engineering (14)
software quality journal (14)
journal of systems & software (10)
acm computing surveys (9)
computing (8)
ieee software (7)
information and software technology (7)
the journal of systems & software (7)
iet software (wiley-blackwell) (6)
journal of software: evolution & process (6)
journal of systems and software (6)
information & software technology (5)
acm sigsoft software engineering notes (4)
computer (4)
computer (00189162) (4)
ieee transactions on reliability (4)
international journal of information security (4)
distributed computing (3)
2008 23rd ieee/acm international conference on automated software engineering - workshops, automated software engineering - workshops, 2008. ase workshops 2008. 23rd ieee/acm international conference on (2)
2020 ieee/acm 17th international conference on mining software repositories (msr), mining software repositories (msr), 2020 ieee/acm 17th international conference on, msr (2)
2022 ieee/acm international conference on automation of software test (ast), automation of software test (ast), 2022 ieee/acm international conference on, ast (2)
2023 ieee/acm international conference on automation of software test (ast), automation of software test (ast), 2023 ieee/acm international conference on, ast (2)
entcs: electronic notes in theoretical computer science (2)
journal of information security and applications (2)
proceedings of 2011 ieee 6th international symposium on service oriented system (sose), service oriented system engineering (sose), 2011 ieee 6th international symposium on (2)
rapid integration of software engineering techniques (9783540718758) (2)
1995 17th international conference on software engineering, software engineering, 1995. icse 1995. 17th international conference on (1)
2008 23rd ieee/acm international conference on automated software engineering, automated software engineering, 2008. ase 2008. 23rd ieee/acm international conference on (1)
2009 14th ieee international conference on engineering of complex computer systems, engineering of complex computer systems, 2009 14th ieee international conference on (1)
2009 31st international conference on software engineering - companion volume, software engineering - companion volume, 2009. icse-companion 2009. 31st international conference on (1)
2009 icse workshop on principles of engineering service oriented systems, principles of engineering service oriented systems, 2009. pesos 2009. icse workshop on (1)
2009 international conference on software testing verification and validation, software testing verification and validation, 2009. icst '09. international conference on (1)
2009 international conference on software testing, verification, and validation workshops, software testing, verification and validation workshops, 2009. icstw '09. international conference on (1)
2010 36th euromicro conference on software engineering and advanced applications, software engineering and advanced applications (seaa), 2010 36th euromicro conference on (1)
2010 seventh international conference on the quality of information and communications technology, quality of information and communications technology (quatic), 2010 seventh international conference on the (1)
2011 24th ieee-cs conference on software engineering education and training (csee&t), software engineering education and training (csee&t), 2011 24th ieee-cs conference on (1)
2011 33rd international conference on software engineering (icse), software engineering (icse), 2011 33rd international conference on (1)
2011 tenth international symposium on autonomous decentralized systems, autonomous decentralized systems (isads), 2011 10th international symposium on (1)
2012 4th international workshop on principles of engineering service-oriented systems (pesos), principles of engineering service oriented systems (pesos), 2012 icse workshop on (1)
2012 7th international workshop on automation of software test (ast), automation of software test (ast), 2012 7th international workshop on (1)
2012 eighth international conference on the quality of information and communications technology, quality of information and communications technology (quatic), 2012 eighth international conference on the (1)
2012 ieee fifth international conference on software testing, verification and validation, software testing, verification and validation (icst), 2012 ieee fifth international conference on (1)
2013 ieee 7th international symposium on the maintenance and evolution of service-oriented and cloud-based systems, maintenance and evolution of service-oriented and cloud-based systems (mesoca), 2013 ieee 7th international symposium on the (1)
2013 ieee sixth international conference on software testing, verification and validation workshops, software testing, verification and validation workshops (icstw), 2013 ieee sixth international conference on (1)
2013 ieee sixth international conference on software testing, verification and validation, software testing, verification and validation (icst), 2013 ieee sixth international conference on (1)
2014 2nd international conference on model-driven engineering and software development (modelsward), model-driven engineering and software development (modelsward), 2014 2nd international conference on (1)
2014 9th international conference on the quality of information and communications technology, quality of information and communications technology (quatic), 2014 9th international conference on the (1)
abstract state machines 2003 (1)
from software engineering to formal methods and tools, and back (1)