skip to main content
10.1145/2489280acmconferencesBook PagePublication PagesisstaConference Proceedingsconference-collections
JAMAICA 2013: Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
ACM2013 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
ISSTA '13: Iitsnternational Symposium on Software Testing and Analysis Lugano Switzerland 15 July 2013
ISBN:
978-1-4503-2161-7
Published:
15 July 2013
Sponsors:
In-Cooperation:
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN
Next Conference
Reflects downloads up to 18 Jan 2025Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
SESSION: Testing Techniques
Article
Early detection of faults related to database schematic changes

Modern software applications consisting of a multi-tiered application structure have often a database as an essential tier. The correct functioning of a multi-tiered application is dependent on its correct database connectivity. The modifications in ...

Article
Evaluating applicability of combinatorial testing in an industrial environment: a case study

Case studies for evaluating tools in software engineering are powerful. Although they cannot achieve the scientific rigour of formal experiments, the results can provide sufficient information to help companies judge if a specific technology being ...

Article
Introducing the QCEP-testing system for executable acceptance test driven development of complex event processing applications

In this paper we introduce the open source testing system QCEP-TS for realizing executable acceptance test driven development (EATDD) of complex event processing (CEP) applications. We will motivate the need of EATDD in this domain and argue that state ...

Article
Practical experience and evaluation of continuous code static analysis with C++Test

The static code analysis tools are a fundamental instruments to validate the developed code. They allow detecting bugs (as memory leak, accessing arrays out of bounds, etc.. ), structural errors and preventing entire classes of errors. This work refers ...

SESSION: Model-Based Testing
Article
Model-based test case generation using symbolic execution

In this paper, we present a test case generation method in which test cases are generated from Excel-based functional specications, called error-check/update specications. This method has the following two characteristics. 1) Logical structures and ...

Article
Analysis and testing of matlab simulink models: a systematic mapping study

Matlab Simulink is one of the major modeling and simulation tools applied in different embedded systems domain. Quality assurance is an essential, but often highly effort-consuming part of software development. A lot of different quality assurance ...

Article
Model-based testing in legacy software modernization: an experience report

With the advent of cloud computing more and more vendors strive to modernize legacy applications and deploy them into the cloud. In particular when the legacy system is still applied in the field, the vendor must ensure a seamless change to the ...

Article
Towards quality of model-based testing in the ioco framework

Since testing is an expensive process, automatic testing with smart test selection has been proposed as a way to reduce such expense. Such a selection of tests can be done using specification coverage functions. Model-based ioco theory, however, uses ...

Article
An auto-review tool for model-based testing of safety-critical systems

Verification of Test Procedures and Test Cases (TP, TC) is an important process stage for fulfilling the RTCA/DO-178B/C compliance objective while developing software for safety critical flight control systems. Correctness of these results, their ...

SESSION: Test Automation Tools
Article
Comparing the maintainability of selenium WebDriver test suites employing different locators: a case study

Test suite maintenance tends to have the biggest impact on the overall cost of test automation. Frequently modifications applied on a web application lead to have one or more test cases broken and repairing the test suite is a time-consuming and ...

Article
Automatic, load-independent detection of performance regressions by transaction profiles

Performance regression testing is an important step in the production process of enterprise applications. Yet, analysing this type of testing data is mainly conducted manually and depends on the load applied during the test. To ease such a manual task ...

Article
A system for automated testing in development of measuring devices for industrial process instrumentation

In this paper, we present the KROHNE TestCenter (KTC), a custom-made test system for automated verification on integration (and partly system) level in the field of industrial process instrumentation. The KTC has been designed and developed at KROHNE ...

Article
FITNESS: a framework for automatic testing of ASTERIX based software systems

As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a systems functionality themselves, following hand-written instructions: ...

Contributors
  • University of Naples Federico II
  • University of Naples Federico II
  • University of Naples Federico II

Recommendations