default search action
11th ICST 2018: Västerås, Sweden
- 11th IEEE International Conference on Software Testing, Verification and Validation, ICST 2018, Västerås, Sweden, April 9-13, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-5012-7
Research Track
Research 1: Testing & Debugging 1
- Alessio Gambi, Jonathan Bell, Andreas Zeller
:
Practical Test Dependency Detection. 1-11 - Abdullah Alsharif, Gregory M. Kapfhammer, Phil McMinn:
DOMINO: Fast and Effective Test Data Generation for Relational Database Schemas. 12-22 - Chunhui Wang, Fabrizio Pastore
Automated Generation of Constraints from Use Case Specifications to Support System Testing. 23-33
Research 2: Regression and Continuous Integration
- Akond Rahman
Characterizing Defective Configuration Scripts Used for Continuous Deployment. 34-45 - Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen:
REMAP: Using Rule Mining and Multi-objective Search for Dynamic Test Case Prioritization. 46-57 - Lingchao Chen, Lingming Zhang:
Speeding up Mutation Testing via Regression Test Selection: An Extensive Study. 58-69
Research 3: Testing & Debugging 2
- Andreas Löscher, Konstantinos Sagonas
Automating Targeted Property-Based Testing. 70-80 - Wei Wang
Testing Cloud Applications under Cloud-Uncertainty Performance Effects. 81-92 - Tim A. D. Henderson, Andy Podgurski:
Behavioral Fault Localization by Sampling Suspicious Dynamic Control Flow Subgraphs. 93-104
Research 4: Mobile and Web Application Testing
- Yavuz Köroglu
QBE: QLearning-Based Exploration of Android Applications. 105-115 - Marcelo Medeiros Eler
Automated Accessibility Testing of Mobile Apps. 116-126 - Jie Wang, Wensheng Dou, Chushu Gao, Yu Gao, Jun Wei:
Context-Based Event Trace Reduction in Client-Side JavaScript Applications. 127-138
Research 5: Program Repair and Synthesis
- Thomas Durieux
Exhaustive Exploration of the Failure-Oblivious Computing Search Space. 139-149 - Vaibhav Sharma, Kesha Hietala
Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters. 150-160 - Zijiang Yang, Jinru Hua, Kaiyuan Wang, Sarfraz Khurshid:
EdSynth: Synthesizing API Sequences with Conditionals and Loops. 161-171
Research 6: Visual Testing
- Emil Alégroth, Arvid Karlsson, Alexander Radway:
Continuous Integration and Visual GUI Testing: Benefits and Drawbacks in Industrial Practice. 172-181 - Yeonhee Ryou, Sukyoung Ryu
Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages. 182-192 - Mohammad Bajammal, Ali Mesbah
Web Canvas Testing Through Visual Inference. 193-203
Research 7: Search Based Approaches
- Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li:
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. 204-214 - Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond:
Automated Repair of Internationalization Presentation Failures in Web Pages Using Style Similarity Clustering and Search-Based Techniques. 215-226 - Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid:
Accelerating Search-Based Program Repair. 227-238
Research 8: Testing & Debugging 3
- Yunho Kim, Shin Hong, Bongseok Ko, Duy Loc Phan, Moonzoo Kim:
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage. 239-249 - Sina Shamshiri, José Miguel Rojas
How Do Automatically Generated Unit Tests Influence Software Maintenance? 250-261 - Leonardo Mariani, Cristina Monni, Mauro Pezzè
Localizing Faults in Cloud Systems. 262-273
Research 9: Mutation Analysis
- Qianqian Zhu, Annibale Panichella, Andy Zaidman:
An Investigation of Compression Techniques to Speed up Mutation Testing. 274-284 - Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic:
Approximate Transformations as Mutation Operators. 285-296 - Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson:
Virtualized-Fault Injection Testing: A Machine Learning Approach. 297-308
Research 10: Defect Analysis
- Hadi Hemmati, Fatemeh Sharifi:
Investigating NLP-Based Approaches for Predicting Manual Test Case Failure. 309-319 - Yang Feng, James A. Jones, Zhenyu Chen, Chunrong Fang
An Empirical Study on Software Failure Classification with Multi-label and Problem-Transformation Techniques. 320-330 - Christopher Steven Timperley, Afsoon Afzal, Deborah S. Katz, Jam Marcos Hernandez, Claire Le Goues
Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early? 331-342
Industry Track
Industry 1
- Christian Prause, Rainer Gerlich, Ralf Gerlich
Evaluating Automated Software Verification Tools. 343-353 - Vidroha Debroy, Lance Brimble, Matthew Yost, Archana Erry:
Automating Web Application Testing from the Ground Up: Experiences and Lessons Learned in an Industrial Setting. 354-362 - Benedikt Walter, Maximilian Schilling, Marco Piechotta, Stephan Rudolph:
Improving Test Execution Efficiency Through Clustering and Reordering of Independent Test Steps. 363-373
Industry 2
- Christian Schwarzl, Jens Herrmann:
Systematic Test Platform Selection: Reducing Costs for Testing Software-Based Automotive E/E Systems. 374-383 - Apala Ray, Vipin Raj, Manuel Oriol, Aurelien Monot, Sebastian Obermeier:
Bluetooth Low Energy Devices Security Testing Framework. 384-393
Tool Track
Tool 1
- Andrea Arcuri:
EvoMaster: Evolutionary Multi-context Automated System Test Generation. 394-397 - Allison Sullivan
AUnit: A Test Automation Tool for Alloy. 398-403 - Henrique Lemos Ribeiro, Higor Amario de Souza
Jaguar: A Spectrum-Based Fault Localization Tool for Real-World Software. 404-409
Tool 2
- Eric J. Rapos, James R. Cordy:
SimEvo: A Toolset for Simulink Test Evolution & Maintenance. 410-415 - Renáta Hodován, Ákos Kiss:
Fuzzinator: An Open-Source Modular Random Testing Framework. 416-421
Doctoral Symposium
- Hamsini Ketheswarasarma Rajaram:
Taxonomy Based Testing Using SW91, a Medical Device Software Defect Taxonomy. 422-423 - Yuqing Wang:
Test Automation Maturity Assessment. 424-425 - Gergö Balogh
Software Systems, Their Engineers and Their Testers. 426-427 - Inari Listenmaa
Testing Natural Language Grammars. 428-429 - Pablo Suárez-Otero:
Analysis of the Logical Consistency in Cassandra. 430-431 - Joao Paulo Pires, Fernando Brito e Abreu
Knowledge Discovery Metamodel-Based Unit Test Cases Generation. 432-433 - Akond Rahman
Anti-Patterns in Infrastructure as Code. 434-435
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 2024-12-17 20:46 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: