Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJAMAICA@ISSTA 2013: Lugano, Switzerland
- Gabriella Carrozza, Roberto Pietrantuono, Vittorio Manetti:
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, JAMAICA 2013, Lugano, Switzerland, July 15, 2013. ACM 2013, ISBN 978-1-4503-2161-7
Testing Techniques
- Deepak Garg, Amitava Datta:
Early detection of faults related to database schematic changes. 1-6 - Elisa Puoskari, Tanja E. J. Vos, Nelly Condori-Fernández
, Peter M. Kruse:
Evaluating applicability of combinatorial testing in an industrial environment: a case study. 7-12 - Johannes Weiß, Peter Mandl, Alexander Schill:
Introducing the QCEP-testing system for executable acceptance test driven development of complex event processing applications. 13-18 - Vincenzo Ciriello, Gabriella Carrozza, Stefano Rosati:
Practical experience and evaluation of continuous code static analysis with C++Test. 19-22
Model-Based Testing
- Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara:
Model-based test case generation using symbolic execution. 23-28 - Frank Elberzhager, Alla Rosbach, Thomas Bauer:
Analysis and testing of matlab simulink models: a systematic mapping study. 29-34 - Marc-Florian Wendland, Marco Kranz, Christian Hein, Tom Ritter, Ana García Flaquer:
Model-based testing in legacy software modernization: an experience report. 35-40 - Michele Volpato, Jan Tretmans:
Towards quality of model-based testing in the ioco framework. 41-46 - Atit Mishra, Manjunatha Rao, Chethan CU, Vanishree Rao, Yogananda V. Jeppu, Nagaraj Murthy:
An auto-review tool for model-based testing of safety-critical systems. 47-52
Test Automation Tools
- Maurizio Leotta, Diego Clerissi, Filippo Ricca, Cristiano Spadaro:
Comparing the maintainability of selenium WebDriver test suites employing different locators: a case study. 53-58 - Shadi Ghaith, Miao Wang, Philip Perry, John Murphy:
Automatic, load-independent detection of performance regressions by transaction profiles. 59-64 - René Keimling, Christian Hansen, Attila Bilgic:
A system for automated testing in development of measuring devices for industrial process instrumentation. 65-70 - Vittorio Manetti, Luigi Martin Petrella:
FITNESS: a framework for automatic testing of ASTERIX based software systems. 71-76
a service of 
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-04-25 20:48 CEST 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:
