formal aspects of computing (7)
icse: international conference on software engineering (6)
international journal on software tools for technology transfer (4)
2021 ieee/acm 43rd international conference on software engineering (icse), software engineering (icse), 2021 ieee/acm 43rd international conference on, icse (3)
2021 ieee/acm 43rd international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2021 ieee/acm 43rd international conference on, icse-companion (3)
2018 ieee/acm 11th international workshop on search-based software testing (sbst), search-based software testing (sbst), 2018 ieee/acm 11th international workshop on, sbst (2)
2021 36th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2021 36th ieee/acm international conference on, ase (2)
2023 ieee 34th international symposium on software reliability engineering (issre), software reliability engineering (issre), 2023 ieee 34th international symposium on, issre (2)
fm 2014: formal methods (2)
formal aspects of computing: applicable formal methods (2)
formal methods: foundations & applications: 19th brazilian symposium, sbmf 2016, natal, brazil, november 23-25, 2016, proceedings (2)
formal methods: foundations and applications (2)
science of computer programming (2)
software testing verification & reliability (2)
software testing: verification & reliability (2)
tests and proofs (2)
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 sixth international conference on software testing, verification & validation (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)
2013 xxxix latin american computing conference (clei) (1)
2013 xxxix latin american computing conference (clei), computing conference (clei), 2013 xxxix latin american (1)
2014 ieee 27th conference on software engineering education & training (csee&t) (1)
2014 ieee 27th conference on software engineering education and training (csee&t), software engineering education and training (csee&t), 2014 ieee 27th conference on (1)
2015 ieee/acm 37th ieee international conference on software engineering (1)
2015 ieee/acm 37th ieee international conference on software engineering, software engineering (icse), 2015 ieee/acm 37th ieee international conference 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)
2017 ieee/acm 10th international workshop on search-based software testing (sbst), search-based software testing (sbst), 2017 ieee/acm 10th international workshop on, sbst (1)
2017 ieee/acm 5th international fme workshop on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2017 ieee/acm 5th international fme workshop on, formalise (1)
2018 33rd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2018 33rd ieee/acm international conference on (1)
2018 ieee/acm 40th international conference on software engineering (icse), software engineering (icse), 2018 ieee/acm 40th international conference on, icse (1)
2019 34th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2019 34th ieee/acm international conference on (1)
2019 ieee/acm 41st international conference on software engineering (icse), software engineering (icse), 2019 ieee/acm 41st international conference on, icse (1)
2022 ieee 33rd international symposium on software reliability engineering (issre), software reliability engineering (issre), 2022 ieee 33rd international symposium on, issre (1)
2022 ieee/acm 44th international conference on software engineering (icse), software engineering (icse), 2022 ieee/acm 44th international conference on, icse (1)
2023 38th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2023 38th ieee/acm international conference on, ase (1)
acm / sigplan notices (1)
acm sigplan notices (1)
algebra, meaning & computation (1)
algebra, meaning, and computation (1)
automated technology for verification & analysis (9783319024431) (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
formal aspects of component software (1)
formal methods & software engineering (1)
fundamental approaches to software engineering (1)
ieee transactions on software engineering (1)
mathematical foundations of software engineering---essays in honour of tom maibaum on the occasion of his 70th birthday and retirement (1)
theoretical aspects of computing---ictac 2014 (1)
verification: theory and practice (1)