2015 IEEE/ACM 10th International Workshop on Automation of Software Test

23-24 May 2015

Filter Results

Displaying Results 1 - 25 of 27
  • [Title page i]

    Publication Year: 2015, Page(s): i
    Request permission for reuse | PDF file iconPDF (17 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2015, Page(s): iii
    Request permission for reuse | PDF file iconPDF (79 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2015, Page(s): iv
    Request permission for reuse | PDF file iconPDF (128 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2015, Page(s):v - vi
    Request permission for reuse | PDF file iconPDF (100 KB)
    Freely Available from IEEE
  • Message from the Chairs

    Publication Year: 2015, Page(s): vii
    Request permission for reuse | PDF file iconPDF (75 KB) | HTML iconHTML
    Freely Available from IEEE
  • Committees and reviewers

    Publication Year: 2015, Page(s):viii - ix
    Request permission for reuse | PDF file iconPDF (87 KB)
    Freely Available from IEEE
  • Sponsors and Supporters

    Publication Year: 2015, Page(s): x
    Request permission for reuse | PDF file iconPDF (135 KB)
    Freely Available from IEEE
  • Towards Cost-Effective Oracles

    Publication Year: 2015, Page(s):1 - 2
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (158 KB) | HTML iconHTML

    Oracles are the key of the success and, at the same time, the bottleneck of automated software testing. Today we can generate enormous amount of test cases and reach impressive code coverage, but the effectiveness of test cases is limited by the availability of test oracles that can distinguish failing executions. Simple implicit oracles come at negligible cost, but can reveal only few categories ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building Test Oracles by Clustering Failures

    Publication Year: 2015, Page(s):3 - 7
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (161 KB) | HTML iconHTML

    In recent years, software testing research has produced notable advances in the area of automated test data generation, but the corresponding oracle problem (a mechanism for determine the (in)correctness of an executed test case) is still a major problem. In this paper, we present a preliminary study which investigates the application of anomaly detection techniques (based on clustering) to automa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TASSA: Testing Framework for Web Service Orchestrations

    Publication Year: 2015, Page(s):8 - 12
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (168 KB) | HTML iconHTML

    Testing of Web service orchestrations brings new challenges to developers of Service-Oriented Applications (SOA) due to their dynamic nature and missing control over underlying infrastructure. The current testing approaches and tools cover single testing activities such as test path analysis, test case generation, Web service emulation, fault injection, etc. There is still a lack of solutions that... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating the Effect of Test Case Length on GUI Test Suite Performance

    Publication Year: 2015, Page(s):13 - 17
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (148 KB) | HTML iconHTML

    In this paper we investigate the effect of test case length on the performance of test suites for automated graphical user interface (GUI) testing. Research has been done on the effect of test length for traditional white-box testing, however, these findings do not necessarily extend to GUI testing. We run experiments on five subject applications using a custom-built dynamic test generator. We mea... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • GUI Test Case Prioritization by State-Coverage Criterion

    Publication Year: 2015, Page(s):18 - 22
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (242 KB) | HTML iconHTML

    Graphical User Interface (GUI) application is a kind of typical event-driven software (EDS) that transforms state according to input events invoked through a user interface. It is time consuming to test a GUI application since there are a large number of possible event sequences generated by the permutations and combinations of user operations. Although some GUI test case prioritization techniques... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • GuideSE: Annotations for Guiding Concolic Testing

    Publication Year: 2015, Page(s):23 - 27
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (146 KB) | HTML iconHTML

    Dynamic symbolic execution or concolic testing has been proposed recently to effectively generate test inputs for real-world programs. Unfortunately, dynamic symbolic execution techniques do not scale well for large realistic programs, because often the number of feasible execution paths of a program increases exponentially with the increase in the length of an execution path. We believe that prog... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive Random Testing by Static Partitioning

    Publication Year: 2015, Page(s):28 - 32
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (211 KB) | HTML iconHTML

    Despite the importance of the random testing approach, random testing is not used in isolation, but plays a core role in many testing methods. On the basis that evenly distributed test cases are more likely to reveal non-point pattern failure regions, various Adaptive Random Testing (ART) methods have been proposed. Many of these methods use a variety of distance calculations, with corresponding c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic Test-Pattern Generation for Grey-Box Programs

    Publication Year: 2015, Page(s):33 - 37
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (229 KB) | HTML iconHTML

    In the context of structural testing, automatic test-pattern generation (ATPG) may fail to provide suites covering 100% of the testing requirements for grey-box programs, i.e., Applications wherein source code is available for some parts (white-box), but not for others (black-box). Furthermore, test suites based on abstract models may elicit behaviors on the actual program that diverge from the in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AIM: Adaptable Instrumentation and Monitoring for Automated Software Performance Analysis

    Publication Year: 2015, Page(s):38 - 42
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (165 KB) | HTML iconHTML

    Instrumentation and monitoring plays an important role in measurement-based performance analysis of software systems. However, in practice the performance overhead of extensive instrumentation is not negligible. Experiment-based performance analysis overcomes this problem through a series of experiments on selectively instrumented code, but requires additional manual effort to adjust required inst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining Unit Tests for Data Race Detection

    Publication Year: 2015, Page(s):43 - 47
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (315 KB) | HTML iconHTML

    Multithreaded programs are subject to data races. Data race detectors find such defects by static or dynamic inspection of the program. Current race detectors suffer from high numbers of false positives, slowdown, and false negatives. Because of these disadvantages, recent approaches reduce the false positive rate and the runtime overhead by applying race detection only on a subset of the whole pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Light-Weight Rule-Based Test Case Generation for Detecting Buffer Overflow Vulnerabilities

    Publication Year: 2015, Page(s):48 - 52
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (163 KB) | HTML iconHTML

    Buffer overflow exploits form a substantial portion of input manipulation attacks as they are commonly found and are easy to exploit. Despite existence of many detection solutions, buffer overflow bugs are widely being reported in multitude of applications suggesting either inherent limitations in current solutions or problems with their adoption by the end-users. To address this, we propose a nov... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Metamorphic Testing: A Simple Method for Alleviating the Test Oracle Problem

    Publication Year: 2015, Page(s):53 - 54
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (62 KB) | HTML iconHTML

    The test oracle problem is regarded as one of the most challenging problems in software testing. Metamorphic testing has been developed to alleviate this problem, which is done using the relations involving relevant inputs and their outputs. This keynote speech will provide a summary of the state-of-the-art of metamorphic testing. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing

    Publication Year: 2015, Page(s):55 - 59
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (175 KB) | HTML iconHTML

    Metamorphic testing is an advanced technique to test programs without a true test oracle such as machine learning applications. Because these programs have no general oracle to identify their correctness, traditional testing techniques such as unit testing may not be helpful for developers to detect potential bugs. This paper presents a novel system, KABU, which can dynamically infer properties of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Experimental Protocol for Analyzing the Accuracy of Software Error Impact Analysis

    Publication Year: 2015, Page(s):60 - 64
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (170 KB) | HTML iconHTML

    In software engineering, error impact analysis consists in predicting the software elements (e.g. Modules, classes, methods) potentially impacted by a change. Impact analysis is required to optimize the testing effort. In this paper we present a new protocol to analyze the accuracy of impact analysis. This protocol uses mutation testing to simulate changes that introduce errors. To this end, we in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths

    Publication Year: 2015, Page(s):65 - 69
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (621 KB) | HTML iconHTML

    Detection of infeasible paths is required in many areas including test coverage analysis, test case generation, security vulnerability analysis, etc. Existing approaches typically use static analysis coupled with symbolic evaluation, heuristics, or path-pattern analysis. This paper is related to these approaches but with a different objective. It is to analyze code of real systems to build pattern... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Why Creating Web Page Objects Manually If It Can Be Done Automatically?

    Publication Year: 2015, Page(s):70 - 74
    Cited by:  Papers (8)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (346 KB) | HTML iconHTML

    Page Object is a design pattern aimed at making web test scripts more readable, robust and maintainable. The effort to manually create the page objects needed for a web application may be substantial and unfortunately existing tools do not help web developers in such task. In this paper we present APOGEN, a tool for the automatic generation of page objects for web applications. Our tool automatica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • GRINDER: On Reusability of Fault Injection Tools

    Publication Year: 2015, Page(s):75 - 79
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (145 KB) | HTML iconHTML

    Fault Injection (FI) is an established testing technique to assess the fault-tolerance of computer systems. FI tests are usually highly automated for efficiency and to prevent human error from affecting result reliability. Most existing FI automation tools have been built for a specific application domain, i.e., A certain system under test (SUT) and fault types to test the SUT against, which signi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Empirical Study on Effects of Code Visibility on Code Coverage of Software Testing

    Publication Year: 2015, Page(s):80 - 84
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (158 KB) | HTML iconHTML

    Software testability is the degree of difficulty to test a program. Code visibility is important to support design principles, such as information hiding. It is widely believed that code visibility has effects on testability. However, little empirical evidence has been shown to clarify whether and how software testability is influenced by code visibility. We have performed an empirical study to sh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.