default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAST@ICSE 2012: Zurich, Switzerland
- Daniel Hoffman, John Hughes, Dianxiang Xu:
7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1821-1
Security
- Petar Tsankov, Mohammad Torabi Dashti
, David A. Basin:
SECFUZZ: Fuzz-testing security protocols. 1-7 - Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori:
Testing of PolPA authorization systems. 8-14 - Andrea Avancini, Mariano Ceccato:
Grammar based oracle for security testing of web applications. 15-21 - Riyadh Mahmood, Naeem Esfahani, Thabet Kacem, Nariman Mirzaei, Sam Malek, Angelos Stavrou:
A whitebox approach for automated security testing of Android applications on the cloud. 22-28
Surveys
- Henry Muccini, Antonio Di Francesco, Patrizio Esposito:
Software testing of mobile applications: Challenges and future research directions. 29-35 - Dudekula Mohammad Rafi, Katam Reddy Kiran Moses, Kai Petersen, Mika Mäntylä:
Benefits and limitations of automated software testing: Systematic literature review and practitioner survey. 36-42
Industrial Case Studies
- Vladimir Entin, Mathias Winder, Bo Zhang, Stephan Christmann:
Introducing model-based testing in an industrial scrum project. 43-49 - Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad:
An industrial case study of the effectiveness of test generators. 50-56 - Eliane Figueiredo Collins, Vicente Ferreira de Lucena:
Software Test Automation practices in agile development environment: An industry experience report. 57-63
Input Generation and Selection I
- Valentin Chimisliu, Franz Wotawa:
Category Partition Method and Satisfiability Modulo Theories for test case generation. 64-70 - TheAnh Do, Alvis Cheuk M. Fong, Russel Pears:
Scalable automated test generation using coverage guidance and random search. 71-75 - Jie Zhang, Rui Yang, Zhenyu Chen, Zhihong Zhao, Baowen Xu:
Automated EFSM-based test case generation with scatter search. 76-82 - Mathias Landhäußer, Walter F. Tichy:
Automated test-case generation by cloning. 83-88
GUI Testing
- Santo Carino, James H. Andrews, Sheldon Goulding, Pradeepan Arunthavarajah, Tony Florio, Jakub Hertyk:
BlackHorse: Creating smart test cases from brittle recorded tests. 89-95 - Niels Hallenberg, Philip Lykke Carlsen:
Declarative automated test. 96-102 - Raphael Pham, Helge Holzmann, Kurt Schneider, Christian Brüggemann:
Beyond plain video recording of GUI tests: Linking test case instructions with visual response documentation. 103-109 - Abdulhakim Abogharaf, Rajesh Palit, Kshirasagar Naik, Ajit Singh:
A methodology for energy performance testing of smartphone applications. 110-116
Design for Test
- Michael Ruegg, Peter Sommerlad:
Refactoring towards seams in C++. 117-123
Input Generation and Selection II
- Kun Wu, Chunrong Fang, Zhenyu Chen, Zhihong Zhao:
Test case prioritization incorporating ordered sequence of program elements. 124-130 - Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Muhammad Ali:
G-RankTest: Regression testing of controller applications. 131-137 - Giovanni Denaro:
All-values symbolic execution. 138-144 - Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, Annibale Panichella:
On the role of diversity measures for multi-objective test case selection. 145-151
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-21 23:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
