Abstract is missing.
- Graphical editing support for QuickCheck modelsThomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes. 1-6 [doi]
- Flattening or not of the combinatorial interaction testing models?Christopher Henard, Mike Papadakis, Yves Le Traon. 1-4 [doi]
- A novel simulation approach for fault injection resistance evaluation on smart cardsLionel Rivière, Julien Bringer, Thanh-Ha Le, Hervé Chabanne. 1-8 [doi]
- Definition and evaluation of mutation operators for GUI-level mutation analysisRafael A. P. Oliveira, Emil Alégroth, Zebao Gao, Atif Memon. 1-10 [doi]
- Software quality research: From processes to model-based techniquesBernhard Peischl. 1-6 [doi]
- From agile software development to the sharing economy and the collaborative commons: Social apps for enterprisesHerbert Wagger. 1-2 [doi]
- Model-based approach for automated test case generation from visual requirement specificationsKapil Singi, Dipin Era, Vikrant Kaulgud. 1-6 [doi]
- Scaled Agile Framework: Presentation and real world exampleRichard Brenner, Stefan Wunder. 1-2 [doi]
- On model-based testing advanced GUIsValeria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon. 1-10 [doi]
- BEN: A combinatorial testing-based fault localization toolLaleh Shikh Gholamhossein Ghandehari, Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, D. Richard Kuhn. 1-4 [doi]
- nCanto: An agile software development case studyWolfgang Richter. 1-2 [doi]
- Mining process models and architectural components from test casesVipul Shah, Chetan Khadke, Sunjit Rana. 1-6 [doi]
- Implementing tool support for analyzing stakeholder communications in software developmentVladimir A. Shekhovtsov, Heinrich C. Mayr, Matija Kucko. 1-10 [doi]
- Requirements document based test scenario generation for web application scenario testingXiaojing Zhang, Haruto Tanno. 1-3 [doi]
- Testing of a telecommunication protocol using constraint programmingOlga Grinchtein, Mats Carlsson, Justin Pearson. 1-3 [doi]
- Mutating aspect-oriented models to test cross-cutting concernsBirgitta Lindström, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark. 1-10 [doi]
- Testing AUTOSAR software with QuickCheckThomas Arts, John Hughes, Ulf Norell, Hans Svensson. 1-4 [doi]
- A first systematic mapping study on combinatorial interaction testing for software product linesRoberto Erick Lopez-Herrejon, Stefan Fischer 0006, Rudolf Ramler, Alexander Egyed. 1-10 [doi]
- Supporting software product line testing by optimizing code configuration coverageLászló Vidács, Ferenc Horváth, József Mihalicza, Bela Vancsics, Árpád Beszédes. 1-7 [doi]
- Automated testing of IDS rulesZeeshan Afzal, Stefan Lindskog. 1-2 [doi]
- Lessons learnt from using DSLs for automated software testingMark Micallef, Christian Colombo. 1-6 [doi]
- A guide to lean software development in actionAndrea Janes. 1-2 [doi]
- Faster mutation-based fault localization with a novel mutation execution strategyPei Gong, Ruilian Zhao, Zheng Li. 1-10 [doi]
- Mutation testing in practice using RubyNan Li, Michael West, Anthony Escalona, Vinicius H. S. Durelli. 1-6 [doi]
- Mutation testing of memory-related operatorsJay Nanavati, Fan Wu, Mark Harman, Yue Jia, Jens Krinke. 1-10 [doi]
- Using decision trees to aid algorithm selection in combinatorial interaction tests generationAngelo Gargantini, Paolo Vavassori. 1-10 [doi]
- A study on an approach for analysing test basis using I/O test data patternsTsuyoshi Yumoto, Tohru Matsuodani, Kazuhiko Tsuda. 1-8 [doi]
- Test automation for NFC ICs using Jenkins and NUnitStephan Puri-Jobi. 1-4 [doi]
- Improving IPOG's vertical growth based on a graph coloring schemeFeng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker, D. Richard Kuhn. 1-8 [doi]
- Security tests for mobile applications - Why using TLS/SSL is not enoughPeter Kieseberg, Peter Frühwirt, Sebastian Schrittwieser, Edgar R. Weippl. 1-2 [doi]
- A survey on mobile users' software quality perceptions and expectationsAndré Nitze, Andreas Schmietendorf. 1-2 [doi]
- Test driven development for device drivers and rapid hardware prototypingDominic Eschweiler, Volker Lindenstruth. 1-9 [doi]
- Rehabilitating equivalent mutants as static anomaly detectors in software artifactsPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori. 1-6 [doi]
- Designing sustainable information systems for organizations operating in safety critical environmentsWolfgang Vorraber, Gerald Lichtenegger, Dietmar Neubacher, Siegfried Voessner. 1-5 [doi]
- Mapping software testing practice with software testing research - SERP-test taxonomyEmelie Engström, Kai Petersen. 1-4 [doi]
- Equivalence class verification and oracle-free testing using two-layer covering arraysD. Richard Kuhn, Raghu N. Kacker, Yu Lei, Jose Torres-Jimenez. 1-4 [doi]
- Relationship between pair-wise and MC/DC testing: Initial experimental resultsSergiy Vilkomir, David Anderson. 1-4 [doi]
- Towards systematic mutations for and with ATL model transformationsJavier Troya, Alexander Bergmayr, Loli Burgueño, Manuel Wimmer. 1-10 [doi]
- Automated testing in the continuous delivery pipeline: A case study of an online companyJohannes Gmeiner, Rudolf Ramler, Julian Haslinger. 1-6 [doi]
- Introducing combinatorial testing in the organization a report on a first attemptDouglas Hillmer. 1-9 [doi]
- Scaling a running agile fix-bid project with near shoring: Theory vs. reality and (best) practiceVioletta J. Wawryk, Christian Krenn, Thomas Dietinger. 1-7 [doi]
- Constraint handling in combinatorial test generation using forbidden tuplesLinbin Yu, Feng Duan, Yu Lei, Raghu N. Kacker, D. Richard Kuhn. 1-9 [doi]
- Security testing for Android mHealth appsKonstantin Knorr, David Aspinall. 1-8 [doi]
- Towards generation of adaptive test cases from partial models of determinized timed automataBernhard K. Aichernig, Florian Lorber. 1-6 [doi]
- Automated compatibility testing method for software logic by using symbolic executionKeiji Uetsuki, Kazuhiko Tsuda, Tohru Matsuodani. 1-6 [doi]
- Dynamic phishing content using generative grammarsSean Palka, Damon McCoy. 1-8 [doi]
- Beyond code coverage - An approach for test suite assessment and improvementDavid Tengeri, Árpád Beszédes, Tamás Gergely, László Vidács, David Havas, Tibor Gyimóthy. 1-7 [doi]
- Why combinatorial testing works: Analyzing minimal failure-causing schemas in logic expressionsZiyuan Wang, Yuanchao Qi. 1-5 [doi]
- Evaluation of the IPO-Family algorithms for test case generation in web security testingJosip Bozic, Bernhard Garn, Dimitris E. Simos, Franz Wotawa. 1-10 [doi]
- Combining model-based and risk-based testing for effective test case generationCeren Sahin Gebizli, Duygu Metin, Hasan Sözer. 1-4 [doi]
- Industry-academia collaboration in software testing: An overview of TAIC PART 2015Nadia Alshahwan, Michael Felderer, Rudolf Ramler. 1-2 [doi]
- Semantic analysis technique of logics retrieval for software testing from specification documentsSatoshi Masuda, Futoshi Iwama, Nobuhiro Hosokawa, Tohru Matsuodani, Kazuhiko Tsuda. 1-6 [doi]
- Test automation for multi-touch user interfaces of industrial applicationsThomas Wetzlmaier, Mario Winterer. 1-3 [doi]
- Automated testing in the cloud: Test infrastructure management with SaaSGeorg Hansbauer. 1-3 [doi]
- A learning-based method for detecting defective classes in object-oriented systemsCagil Biray, Feza Buzluca. 1-8 [doi]
- A process to increase the model quality in the context of model-based testingVladimir Entin, Mathias Winder, Bo Zhang, Andreas Claus. 1-7 [doi]
- Automotive system testing by independent guarded assertionsThomas Gustafsson, Mats Skoglund, Avenir Kobetski, Daniel Sundmark. 1-7 [doi]
- Towards mutation analysis of Android appsLin Deng, Nariman Mirzaei, Paul Ammann, Jeff Offutt. 1-10 [doi]
- Covering both stack and states while testing push-down systemsPierre-Cyrille Héam, Hana M'Hemdi. 1-7 [doi]
- A process for nonfunctional combinatorial testing: Selection of parameter values from a nondiscrete domain spaceSiegmar Zufle, Venkataraman Krishnamoorthy. 1-4 [doi]
- State machine flattening, a mapping study and tools assessmentXavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans. 1-8 [doi]
- Embedded functions in combinatorial test designsGeorge B. Sherwood. 1-10 [doi]
- Design principles in test suite architectureYasuharu Nishi. 1-4 [doi]
- Writing unit tests: It's now or never!Claus Klammer, Albin Kern. 1-4 [doi]
- Kernel Density Adaptive Random TestingMatthew Patrick, Yue Jia. 1-10 [doi]
- Combining minimization and generation for combinatorial testingItai Segall, Rachel Tzoref-Brill, Aviad Zlotnick. 1-9 [doi]
- Combinatorial interaction testing of tangled configuration optionsArsalan Javeed, Cemal Yilmaz. 1-4 [doi]
- Static analysis of mutant subsumptionBob Kurtz, Paul Ammann, Jeff Offutt. 1-10 [doi]
- PMBOK vs. agile methods: How cultural change can become transparentWolfgang Richter. 1-2 [doi]
- Tool support for secure programming by security testingKeqin Li, Cédric Hebert, Jan Lindemann, Michael Sauter, Holger Mack, Tom Schroer, Abhay Tiple. 1-4 [doi]
- A model-based testing technique for component-based real-time embedded systemsJing Guan, Jeff Offutt. 1-10 [doi]
- Test generation from timed pushdown automata with inputs and outputsHana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana. 1-10 [doi]
- Testing big data (Assuring the quality of large databases)Harry M. Sneed, Katalin Erdös. 1-6 [doi]
- A test automation language framework for behavioral modelsNan Li, Jeff Offutt. 1-10 [doi]