default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th ICST Workshops 2015: Graz, Austria
- Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015. IEEE Computer Society 2015, ISBN 978-1-4799-1885-0
11th Workshop on Advances in Model Based Testing (A-MOST)
- Nan Li, Jeff Offutt:
A test automation language framework for behavioral models. 1-10 - Valéria Lelli
, Arnaud Blouin, Benoit Baudry, Fabien Coulon:
On model-based testing advanced GUIs. 1-10 - Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana:
Test generation from timed pushdown automata with inputs and outputs. 1-10 - Kapil Singi, Dipin Era, Vikrant Kaulgud:
Model-based approach for automated test case generation from visual requirement specifications. 1-6 - Pierre-Cyrille Héam, Hana M'Hemdi:
Covering both stack and states while testing push-down systems. 1-7 - Jing Guan, Jeff Offutt:
A model-based testing technique for component-based real-time embedded systems. 1-10 - Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
State machine flattening, a mapping study and tools assessment. 1-8 - Bernhard K. Aichernig, Florian Lorber:
Towards generation of adaptive test cases from partial models of determinized timed automata. 1-6
13th User Symposium on Software Quality, Test and Innovation (ASQT)
- Richard Brenner, Stefan Wunder:
Scaled Agile Framework: Presentation and real world example. 1-2 - Andrea Janes:
A guide to lean software development in action. 1-2 - Wolfgang Richter:
PMBOK vs. agile methods: How cultural change can become transparent. 1-2 - Stephan Puri-Jobi:
Test automation for NFC ICs using Jenkins and NUnit. 1-4 - Wolfgang Vorraber, Gerald Lichtenegger, Dietmar Neubacher, Siegfried Voessner:
Designing sustainable information systems for organizations operating in safety critical environments. 1-5 - Peter Kieseberg, Peter Frühwirt, Sebastian Schrittwieser, Edgar R. Weippl:
Security tests for mobile applications - Why using TLS/SSL is not enough. 1-2 - André Nitze, Andreas Schmietendorf:
A survey on mobile users' software quality perceptions and expectations. 1-2 - Vladimir A. Shekhovtsov, Heinrich C. Mayr, Matija Kucko:
Implementing tool support for analyzing stakeholder communications in software development. 1-10 - Georg Hansbauer:
Automated testing in the cloud: Test infrastructure management with SaaS. 1-3 - Herbert Wagger:
From agile software development to the sharing economy and the collaborative commons: Social apps for enterprises. 1-2 - Violetta J. Wawryk, Christian Krenn, Thomas Dietinger:
Scaling a running agile fix-bid project with near shoring: Theory vs. reality and (best) practice. 1-7 - Wolfgang Richter:
nCanto: An agile software development case study. 1-2 - Johannes Gmeiner, Rudolf Ramler, Julian Haslinger:
Automated testing in the continuous delivery pipeline: A case study of an online company. 1-6 - Harry M. Sneed, Katalin Erdös:
Testing big data (Assuring the quality of large databases). 1-6
2nd International Workshop on Software Test Architecture (InSTA)
- Dominic Eschweiler, Volker Lindenstruth:
Test driven development for device drivers and rapid hardware prototyping. 1-9 - Yasuharu Nishi:
Design principles in test suite architecture. 1-4 - Keiji Uetsuki, Kazuhiko Tsuda, Tohru Matsuodani:
Automated compatibility testing method for software logic by using symbolic execution. 1-6 - Vipul Shah, Chetan Khadke, Sunjit Rana:
Mining process models and architectural components from test cases. 1-6 - Tsuyoshi Yumoto, Tohru Matsuodani, Kazuhiko Tsuda:
A study on an approach for analysing test basis using I/O test data patterns. 1-8 - Satoshi Masuda, Futoshi Iwama, Nobuhiro Hosokawa, Tohru Matsuodani, Kazuhiko Tsuda:
Semantic analysis technique of logics retrieval for software testing from specification documents. 1-6
4th International Workshop on Combinatorial Testing (IWCT)
- George B. Sherwood:
Embedded functions in combinatorial test designs. 1-10 - Douglas Hillmer:
Introducing combinatorial testing in the organization a report on a first attempt. 1-9 - Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Combining minimization and generation for combinatorial testing. 1-9 - Roberto Erick Lopez-Herrejon, Stefan Fischer, Rudolf Ramler, Alexander Egyed:
A first systematic mapping study on combinatorial interaction testing for software product lines. 1-10 - Josip Bozic, Bernhard Garn, Dimitris E. Simos, Franz Wotawa:
Evaluation of the IPO-Family algorithms for test case generation in web security testing. 1-10 - Siegmar Zufle, Venkataraman Krishnamoorthy:
A process for nonfunctional combinatorial testing: Selection of parameter values from a nondiscrete domain space. 1-4 - Arsalan Javeed, Cemal Yilmaz:
Combinatorial interaction testing of tangled configuration options. 1-4 - Sergiy Vilkomir, David Anderson:
Relationship between pair-wise and MC/DC testing: Initial experimental results. 1-4 - Ziyuan Wang, Yuanchao Qi:
Why combinatorial testing works: Analyzing minimal failure-causing schemas in logic expressions. 1-5 - Linbin Yu, Feng Duan, Yu Lei, Raghu N. Kacker, D. Richard Kuhn:
Constraint handling in combinatorial test generation using forbidden tuples. 1-9 - Angelo Gargantini, Paolo Vavassori:
Using decision trees to aid algorithm selection in combinatorial interaction tests generation. 1-10 - Christopher Henard, Mike Papadakis, Yves Le Traon:
Flattening or not of the combinatorial interaction testing models? 1-4 - Feng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker, D. Richard Kuhn:
Improving IPOG's vertical growth based on a graph coloring scheme. 1-8 - D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Jose Torres-Jimenez:
Equivalence class verification and oracle-free testing using two-layer covering arrays. 1-4 - Laleh Shikh Gholamhossein Ghandehari, Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, D. Richard Kuhn:
BEN: A combinatorial testing-based fault localization tool. 1-4
10th International Workshop on Mutation Analysis (Mutation)
- Pei Gong, Ruilian Zhao, Zheng Li:
Faster mutation-based fault localization with a novel mutation execution strategy. 1-10 - Jay Nanavati, Fan Wu, Mark Harman, Yue Jia, Jens Krinke:
Mutation testing of memory-related operators. 1-10 - Lin Deng, Nariman Mirzaei, Paul Ammann, Jeff Offutt:
Towards mutation analysis of Android apps. 1-10 - Matthew Patrick, Yue Jia:
Kernel Density Adaptive Random Testing. 1-10 - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori:
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. 1-6 - Nan Li, Michael West, Anthony Escalona, Vinicius H. S. Durelli:
Mutation testing in practice using Ruby. 1-6 - Bob Kurtz, Paul Ammann, Jeff Offutt:
Static analysis of mutant subsumption. 1-10 - Javier Troya, Alexander Bergmayr, Loli Burgueño, Manuel Wimmer:
Towards systematic mutations for and with ATL model transformations. 1-10 - Birgitta Lindström, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark:
Mutating aspect-oriented models to test cross-cutting concerns. 1-10 - Rafael A. P. Oliveira, Emil Alégroth, Zebao Gao, Atif M. Memon:
Definition and evaluation of mutation operators for GUI-level mutation analysis. 1-10
6th International Workshop on Security Testing (SECTEST)
- Sean Palka, Damon McCoy:
Dynamic phishing content using generative grammars. 1-8 - Konstantin Knorr, David Aspinall:
Security testing for Android mHealth apps. 1-8 - Lionel Rivière, Julien Bringer, Thanh-Ha Le, Hervé Chabanne:
A novel simulation approach for fault injection resistance evaluation on smart cards. 1-8 - Zeeshan Afzal, Stefan Lindskog:
Automated testing of IDS rules. 1-2 - Keqin Li, Cédric Hébert, Jan Lindemann, Michael Sauter, Holger Mack, Tom Schroer, Abhay Tiple:
Tool support for secure programming by security testing. 1-4
10th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART)
- Nadia Alshahwan, Michael Felderer, Rudolf Ramler:
Industry-academia collaboration in software testing: An overview of TAIC PART 2015. 1-2 - Ceren Sahin Gebizli, Duygu Metin, Hasan Sözer:
Combining model-based and risk-based testing for effective test case generation. 1-4 - Xiaojing Zhang, Haruto Tanno:
Requirements document based test scenario generation for web application scenario testing. 1-3 - Thomas Arts, John Hughes, Ulf Norell, Hans Svensson:
Testing AUTOSAR software with QuickCheck. 1-4 - Olga Grinchtein, Mats Carlsson, Justin Pearson:
Testing of a telecommunication protocol using constraint programming. 1-3 - Thomas Wetzlmaier, Mario Winterer:
Test automation for multi-touch user interfaces of industrial applications. 1-3 - Claus Klammer, Albin Kern:
Writing unit tests: It's now or never! 1-4 - Emelie Engström, Kai Petersen:
Mapping software testing practice with software testing research - SERP-test taxonomy. 1-4 - Vladimir Entin, Mathias Winder, Bo Zhang, Andreas Claus:
A process to increase the model quality in the context of model-based testing. 1-7 - Mark Micallef, Christian Colombo:
Lessons learnt from using DSLs for automated software testing. 1-6 - Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes:
Graphical editing support for QuickCheck models. 1-6 - Thomas Gustafsson, Mats Skoglund, Avenir Kobetski, Daniel Sundmark:
Automotive system testing by independent guarded assertions. 1-7 - Bernhard Peischl:
Software quality research: From processes to model-based techniques. 1-6 - Dávid Tengeri, Árpád Beszédes, Tamás Gergely, László Vidács, David Havas, Tibor Gyimóthy:
Beyond code coverage - An approach for test suite assessment and improvement. 1-7 - Cagil Biray, Feza Buzluca:
A learning-based method for detecting defective classes in object-oriented systems. 1-8 - László Vidács, Ferenc Horváth, József Mihalicza, Béla Vancsics, Árpád Beszédes:
Supporting software product line testing by optimizing code configuration coverage. 1-7
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 2025-11-28 01:43 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:
