science of computer programming (22)
acm sigsoft software engineering notes (10)
electronic notes in theoretical computer science (6)
ieee transactions on software engineering (5)
entcs: electronic notes in theoretical computer science (4)
international journal on software tools for technology transfer (4)
2015 30th ieee/acm international conference on automated software engineering (ase) (3)
2015 30th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2015 30th ieee/acm international conference on (3)
proc. 30th int. conf. on automated software engineering (ase 2015) (3)
proceedings of the 30th ieee/acm international conference on automated software engineering (3)
theoretical computer science (3)
2008 ninth acis international conference on software engineering, artificial intelligence, networking, and parallel/distributed computing, software engineering, artificial intelligence, networking, and parallel/distributed computing, 2008. snpd '08. ninth acis international conference on (2)
2014 second international symposium on computing & networking (2)
2014 second international symposium on computing and networking, computing and networking (candar), 2014 second international symposium on (2)
2016 ieee 23rd international conference on software analysis, evolution & reengineering (saner) (2)
2016 ieee 23rd international conference on software analysis, evolution, and reengineering (saner), software analysis, evolution, and reengineering (saner), 2016 ieee 23rd international conference on (2)
2021 ieee 21st international conference on software quality, reliability and security (qrs), software quality, reliability and security (qrs), 2021 ieee 21st international conference on, qrs (2)
31st annual international computer software and applications conference (compsac 2007), computer software and applications conference, 2007. compsac 2007. 31st annual international (2)
ieee transactions on dependable and secure computing (2)
ieice transactions on fundamentals of electronics communications and computer sciences (2)
international journal of networking and computing (2)
proc. 1st int. workshop on validating software tests (vst 2016) (2)
proc. 2nd int. symposium on computing and networking (2)
software testing: verification & reliability (2)
2009 31st international conference on software engineering - companion volume, software engineering - companion volume, 2009. icse-companion 2009. 31st international conference on (1)
2009 ieee/acm international conference on automated software engineering, automated software engineering, 2009. ase '09. 24th ieee/acm international conference on (1)
2011 26th ieee/acm international conference on automated software engineering (ase 2011), automated software engineering (ase), 2011 26th ieee/acm international conference on (1)
2012 9th ieee working conference on mining software repositories (msr) (1)
2012 9th ieee working conference on mining software repositories (msr), mining software repositories (msr), 2012 9th ieee working conference on (1)
2013 28th ieee/acm international conference on automated software engineering (ase) (1)
2013 28th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2013 ieee/acm 28th international conference on (1)
2013 ieee 37th annual computer software & applications conference workshops (1)
2013 ieee 37th annual computer software and applications conference workshops, computer software and applications conference workshops (compsacw), 2013 ieee 37th annual (1)
2015 ieee 39th annual computer software and applications conference, computer software and applications conference (compsac), 2015 ieee 39th annual (1)
2015 ieee 8th international conference on software testing, verification & validation (icst) (1)
2015 ieee 8th international conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2015 ieee 8th international conference on (1)
2015 ieee international conference on software quality, reliability & security (1)
2015 ieee international conference on software quality, reliability and security, software quality, reliability and security (qrs), 2015 ieee international conference on (1)
2015 ieee/acm 8th international workshop on search-based software testing (1)
2015 ieee/acm 8th international workshop on search-based software testing, search-based software testing (sbst), 2015 ieee/acm 8th international workshop on (1)
2016 31st ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2016 31st ieee/acm international conference on (1)
2016 fourth international symposium on computing and networking (candar), computing and networking (candar), 2016 fourth international symposium on, candar (1)
2016 ieee 27th international symposium on software reliability engineering (issre) (1)
2016 ieee 27th international symposium on software reliability engineering (issre), software reliability engineering (issre), 2016 ieee 27th international symposium on (1)
2016 ieee international conference on software quality, reliability and security (qrs), software quality, reliability and security (qrs), 2016 ieee international conference on (1)
2017 ieee international conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2017 ieee international conference on, icst (1)
2019 34th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2019 34th ieee/acm international conference on (1)
abstract state machines 2003 (1)
formal methods and software engineering (1)
runtime verification (1)