default search action
8th ICST 2015: Graz, Austria
- 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015. IEEE Computer Society 2015, ISBN 978-1-4799-7125-1
- Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung:
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops. 1-10 - Mark Harman
, Yue Jia, Yuanyuan Zhang:
Achievements, Open Problems and Challenges for Search Based Software Testing. 1-12 - Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand:
Behind an Application Firewall, Are We Safe from SQL Injection Attacks? 1-10 - Valéria Lelli
Classifying and Qualifying GUI Defects. 1-10 - Timo Huuhtanen, Juha Itkonen, Casper Lassenius
Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms. 1-10 - Emil Alégroth, Zebao Gao, Rafael Alves Paes de Oliveira, Atif M. Memon:
Conceptualization and Evaluation of Component-Based Testing Unified with Visual GUI Testing: An Empirical Study. 1-10 - Mian Wan, Yuchen Jin, Ding Li, William G. J. Halfond:
Detecting Display Energy Hotspots in Android Apps. 1-10 - Sonal Mahajan, William G. J. Halfond:
Detection and Localization of HTML Presentation Failures Using Computer Vision-Based Techniques. 1-10 - Lajos Cseppento, Zoltán Micskei:
Evaluating Symbolic Execution-Based Test Tools. 1-10 - Debajyoti Mondal, Hadi Hemmati, Stephane Durocher:
Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection. 1-10 - Daniel Di Nardo, Fabrizio Pastore
Generating Complex and Faulty Test Data through Model-Based Mutation Analysis. 1-10 - Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh
Generating Succinct Test Cases Using Don't Care Analysis. 1-10 - Paolo Arcaini
Generating Tests for Detecting Faults in Feature Models. 1-10 - Tingting Yu, Myra B. Cohen:
Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems. 1-10 - Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner:
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. 1-10 - Tosapon Pankumhang, Matthew J. Rutherford:
Iterative Instrumentation for Code Coverage in Time-Sensitive Systems. 1-10 - Shabnam Mirshokraie, Ali Mesbah
JSEFT: Automated Javascript Unit Test Generation. 1-10 - Nicklas Erman, Vanja Tufvesson, Markus Borg
Navigating Information Overload Caused by Automated Testing - a Clustering Approach in Multi-Branch Development. 1-9 - Zhuofu Bai, Gang Shu, Andy Podgurski:
NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model. 1-10 - Emil Alégroth, Geoffrey Bache, Emily Bache:
On the Industrial Applicability of TextTest: An Empirical Case Study. 1-10 - Akihisa Yamada
Optimization of Combinatorial Testing by Incremental SAT Solving. 1-10 - Azadeh Farzan, Andreas Holzer, Helmut Veith:
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. 1-11 - Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao:
Postconditioned Symbolic Execution. 1-10 - Hadi Hemmati, Zhihan Fang, Mika V. Mäntylä
Prioritizing Manual Test Cases in Traditional and Rapid Release Environments. 1-10 - Jan Midtgaard
QuickChecking Static Analysis Properties. 1-10 - Annibale Panichella, Fitsum Meshesha Kifetew
Reformulating Branch Coverage as a Many-Objective Optimization Problem. 1-10 - Simon M. Poulding, Robert Feldt:
Re-Using Generators of Complex Test Data. 1-10 - Kalou Cabrera Castillos, Hélène Waeselynck
Show Me New Counterexamples: A Path-Based Approach. 1-10 - Sébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis
Sound and Quasi-Complete Detection of Infeasible Test Requirements. 1-10 - Simon Holm Jensen, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra:
Test Generation from Business Rules. 1-10 - Pavneet Singh Kochhar, Ferdian Thung, Nachiappan Nagappan, Thomas Zimmermann, David Lo
Understanding the Test Automation Culture of App Developers. 1-10 - Eric James Rapos, Jürgen Dingel:
Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases. 1-10 - Maurizio Leotta
Using Multi-Locators to Increase the Robustness of Web Test Cases. 1-10 - Haitao Zhang, Toshiaki Aoki
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. 1-10 - Eric J. Rapos:
Co-Evolution of Model-Based Tests for Industrial Automotive Software. 1-2 - Stefan Tiran:
Incremental Model-Based Mutation Testing. 1-2 - Florian Lorber
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems. 1-2 - Florian Häser:
Non-Intrusive Documentation-Driven Integration Testing. 1-2 - Hermann Felbinger:
Test Suite Quality Assessment Using Model Inference Techniques. 1-2 - Stefan Mohacsi, Michael Felderer, Armin Beer:
A Case Study on the Efficiency of Model-Based Testing at the European Space Agency. 1-2 - Nan Li, Anthony Escalona, Yun Guo, Jeff Offutt:
A Scalable Big Data Test Framework. 1-2 - Daniel Kunzle, Carl Worms:
A Virtual Bank for Development and Testing. 1-2 - Daniel Werner:
Fluently Reading, Writing and Speaking Hexadecimal with Gepetto's Help. 1-5 - Tadahiro Noguchi, Hironori Washizaki
History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization. 1-2 - Edgar J. Holleis:
Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow. 1-2 - M. Devrim Tokcan, Onur Ozturk, Hakan Tuna:
MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio. 1-2 - Andreia M. dos Santos, Igor B. Correia:
Mobile Testing in Software Industry Using Agile: Challenges and Opportunities. 1-2 - Giorgio Brajnik, Andrea Baruzzo, Sara Fabbro:
Model-Based Continuous Integration Testing of Responsiveness of Web Applications. 1-2 - Willibald Krenn, Rupert Schlick
MoMut: : UML Model-Based Mutation Testing for UML. 1-8 - Elder Rodrigues, Maicon Bernardino, Leandro T. Costa, Avelino Francisco Zorzo, Flávio Moreira de Oliveira:
PLeTsPerf - A Model-Based Performance Testing Tool. 1-8 - Christian El Salloum:
Seamless Integration of Test Information Management and Calibration Data Management in the Overall Automotive Development Process. 1-3 - Roberto Carbone
Security Threat Identification and Testing. 1-8 - David Honfi, András Vörös
SEViz: A Tool for Visualizing Symbolic Execution. 1-8 - Robert Korosec, Roman Pfarrhofer:
Supporting the Transition to an Agile Test Matrix. 1-2 - Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki
TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing. 1-8 - Manuel Oriol:
Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island. 1-2 - Sylvain Hallé
Testing Web Applications Through Layout Constraints. 1-8 - Steffen Herbold
The MIDAS Cloud Platform for Testing SOA Applications. 1-8 - Shaukat Ali
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems. 1-2 - Sonal Mahajan, William G. J. Halfond:
WebSee: A Tool for Debugging HTML Presentation Failures. 1-8
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-11-04 20:30 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: