Towards a Testbed for Automotive Cybersecurity
Fowler, Daniel S., Cheah, Madeline, Shaikh, Siraj Ahmed, Bryans, Jeremy
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Assessing and Improving the Mutation Testing Practice of PIT
Laurent, Thomas, Papadakis, Mike, Kintis, Marinos, Henard, Christopher, Le Traon, Yves, Ventresque, Anthony
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications
Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Private API Access and Functional Mocking in Automated Unit Test Generation
Arcuri, Andrea, Fraser, Gordon, Just, Rene
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests
Fazzini, Mattia, De A Freitas, Eduardo Noronha, Choudhary, Shauvik Roy, Orso, Alessandro
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Uncertainty-Driven Black-Box Test Data Generation
Walkinshaw, Neil, Fraser, Gordon
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
How Do Assertions Impact Coverage-Based Test-Suite Reduction?
Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Mining Sandboxes for Linux Containers
Zhiyuan Wan, Lo, David, Xin Xia, Liang Cai, Shanping Li
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Localizing Faults in SQL Predicates
Yun Guo, Motro, Amihai, Nan Li
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Timed k-Tail: Automatic Inference of Timed Automata
Pastore, Fabrizio, Micucci, Daniela, Mariani, Leonardo
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Prevalence of Single-Fault Fixes and Its Impact on Fault Localization
Perez, Alexandre, Abreu, Rui, D'Amorim, Marcelo
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Model-Based API Testing of Apache ZooKeeper
Artho, Cyrille, Gros, Quentin, Rousset, Guillaume, Banzai, Kazuaki, Lei Ma, Kitamura, Takashi, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
The Theory of Composite Faults
Gopinath, Rahul, Jensen, Carlos, Groce, Alex
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
TITAN: Test Suite Optimization for Highly Configurable Software
Marijan, Dusica, Liaaen, Marius, Gotlieb, Arnaud, Sen, Sagar, Ieva, Carlo
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Perphecy: Performance Regression Test Selection Made Simple but Effective
De Oliveira, Augusto Born, Fischmeister, Sebastian, Diwan, Amer, Hauswirth, Matthias, Sweeney, Peter F.
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding
Symbolic Complexity Analysis Using Context-Preserving Histories
Luckow, Kasper, Kersten, Rody, Pasareanu, Corina
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)
Get full text
Conference Proceeding