default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25. ICTSS 2013: Istanbul, Turkey
- Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich:
Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings. Lecture Notes in Computer Science 8254, Springer 2013, ISBN 978-3-642-41706-1
Model-Based Testing
- Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson:
Using Logic Coverage to Improve Testing Function Block Diagrams. 1-16 - Hai-Feng Guo, Zongyan Qiu:
Automatic Grammar-Based Test Generation. 17-32 - Natalia Kushik
, Khaled El-Fakih, Nina Yevtushenko:
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. 33-48 - Wen-ling Huang, Jan Peleska:
Exhaustive Model-Based Equivalence Class Testing. 49-64
Testing Timed and Concurrent Systems
- Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet:
Remote Testing of Timed Specifications. 65-81 - Christophe Gaston, Robert M. Hierons, Pascale Le Gall:
An Implementation Relation and Test Framework for Timed Distributed Systems. 82-97 - Hernán Ponce de León, Stefan Haar, Delphine Longuet:
Unfolding-Based Test Selection for Concurrent Conformance. 98-113
Test Suite Selection and Effort Estimation
- Mourad Badri, Linda Badri, William Flageol:
Predicting the Size of Test Suites from Use Cases: An Empirical Exploration. 114-132 - Peter Schrammel, Tom Melham, Daniel Kroening:
Chaining Test Cases for Reactive System Testing. 133-148 - Dennis Güttinger, Vitaly Kozyura, Dominik Kremer, Sebastian Wieczorek:
Variations over Test Suite Reduction. 149-163
Tools and Languages
- Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong:
Case Studies in Learning-Based Testing. 164-179 - João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro:
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. 180-195 - Andreas Ibing:
Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan. 196-206 - Bernard Stepien, Liam Peyton:
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3. 207-222
Debugging
- Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage:
Guided Algebraic Specification Mining for Failure Simplification. 223-238 - Feyzullah Koca, Hasan Sözer, Rui Abreu:
Spectrum-Based Fault Localization for Diagnosing Concurrency Faults. 239-254 - Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks:
A Dynamic Approach to Locating Memory Leaks. 255-270
Short Contributions
- Daniel Mauser, Alexander Klaus, Konstantin Holl:
Towards a GUI Test Model Using State Charts and Programming Code. 271-276 - Giancarlo Pellegrino, Luca Compagna, Thomas Morreggia:
A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols. 277-282 - Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke:
Finding Errors in Python Programs Using Dynamic Symbolic Execution. 283-289
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-01-29 23:10 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:
