Abstract is missing.
- Early detection of faults related to database schematic changesDeepak Garg 0003, Amitava Datta. 1-6 [doi]
- Evaluating applicability of combinatorial testing in an industrial environment: a case studyElisa Puoskari, Tanja E. J. Vos, Nelly Condori-Fernández, Peter M. Kruse. 7-12 [doi]
- Introducing the QCEP-testing system for executable acceptance test driven development of complex event processing applicationsJohannes Weiß, Peter Mandl 0001, Alexander Schill. 13-18 [doi]
- Practical experience and evaluation of continuous code static analysis with C++TestVincenzo Ciriello, Gabriella Carrozza, Stefano Rosati. 19-22 [doi]
- Model-based test case generation using symbolic executionKazuki Munakata, Susumu Tokumoto, Tadahiro Uehara. 23-28 [doi]
- Analysis and testing of matlab simulink models: a systematic mapping studyFrank Elberzhager, Alla Rosbach, Thomas Bauer 0002. 29-34 [doi]
- Model-based testing in legacy software modernization: an experience reportMarc-Florian Wendland, Marco Kranz, Christian Hein, Tom Ritter, Ana García Flaquer. 35-40 [doi]
- Towards quality of model-based testing in the ioco frameworkMichele Volpato, Jan Tretmans. 41-46 [doi]
- An auto-review tool for model-based testing of safety-critical systemsAtit Mishra, Manjunatha Rao, Chethan CU, Vanishree Rao, Yogananda V. Jeppu, Nagaraj Murthy. 47-52 [doi]
- Comparing the maintainability of selenium WebDriver test suites employing different locators: a case studyMaurizio Leotta, Diego Clerissi, Filippo Ricca, Cristiano Spadaro. 53-58 [doi]
- Automatic, load-independent detection of performance regressions by transaction profilesShadi Ghaith, Miao Wang 0002, Philip Perry, John Murphy 0001. 59-64 [doi]
- A system for automated testing in development of measuring devices for industrial process instrumentationRené Keimling, Christian Hansen, Attila Bilgic. 65-70 [doi]
- FITNESS: a framework for automatic testing of ASTERIX based software systemsVittorio Manetti, Luigi Martin Petrella. 71-76 [doi]