2016 IEEE/ACM 11th International Workshop in Automation of Software Test (AST)

14-15 May 2016

Filter Results

Displaying Results 1 - 21 of 21
  • [Title page i]

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

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

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

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

    Publication Year: 2016, Page(s):vii - viii
    Request permission for reuse | PDF file iconPDF (86 KB)
    Freely Available from IEEE
  • Committees and reviewers

    Publication Year: 2016, Page(s):ix - x
    Request permission for reuse | PDF file iconPDF (81 KB)
    Freely Available from IEEE
  • Sponsors and supporters

    Publication Year: 2016, Page(s):xi - xiii
    Request permission for reuse | PDF file iconPDF (293 KB)
    Freely Available from IEEE
  • Automated Test Generation for Synchronous Controllers

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

    This paper addresses the problem of automating the produc-tion of test sequences for a particular class of ProgrammableLogic Controllers (em4) produced by InnoVista Sensors.The latter are synchronous systems and are programmedby means of an ad hoc integrated development environment(IDE). People using and programming such controllers arenot necessarily experienced programmers, so the develop-ment o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model Extraction and Test Generation from JUnit Test Suites

    Publication Year: 2016, Page(s):8 - 14
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (351 KB) | HTML iconHTML

    In this paper we describe how to infer state machine models of systems from legacy unit test suites, and how to generate new tests from those models. The novelty of our approach is to combine control dependencies and data dependencies in the same model, in contrast to most other work in this area. Combining both kinds of dependency helps us to build more expressive models, which in turn allows us ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated Testing of DSL Implementations - Experiences from Building mbeddr

    Publication Year: 2016, Page(s):15 - 21
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (934 KB) | HTML iconHTML

    Domain specific languages promise to improve productivity and quality of software by providing problem-adequate abstractions to developers. Projectional language workbenches like JetBrains MPS allow the definition of modular and extensible domain specific languages, generators and development environments. While recent advances in language engineering have enabled the definition of DSLs and toolin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Does Code Coverage Provide a Good Stopping Rule for Operational Profile Based Testing?

    Publication Year: 2016, Page(s):22 - 28
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (336 KB) | HTML iconHTML

    We introduce a new coverage measure, called the operational coverage, which is customized to the usage profile (count spectrum) of the entities to be covered. Operational coverage is proposed as an adequacy criterion for operational profile based testing, i.e., to assess the thoroughness of a black box test suite derived from the operational profile. To validate the approach we study the correlati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Impact of Fault Type on the Relationship between Code Coverage and Fault Detection

    Publication Year: 2016, Page(s):29 - 35
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (317 KB) | HTML iconHTML

    Structural coverage criteria are commonly used to determine the adequacy of a test suite. However, studies investigating structural coverage and fault-finding capabilities have mixed results. Some studies have shown generating test suites to satisfy structural coverage criteria has a positive effect on finding faults, while other studies show the opposite. These mixed results indicate there are fa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Virtual Mutation Analysis of Relational Database Schemas

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

    Relational databases are a vital component of many modern software applications. Key to the definition of the database schema - which specifies what types of data will be stored in the database and the structure in which the data is to be organized - are integrity constraints. Integrity constraints are conditions that protect and preserve the consistency and validity of data in the database, preve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Empirical Study of Correlation between Mutation Score and Model Inference Based Test Suite Adequacy Assessment

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

    In this paper we investigate a method for test suite evaluation that is based on an inferred model from the test suite. The idea is to use the similarity between the inferred model and the system under test as a measure of test suite adequacy, which is the ability of a test suite to expose errors in the system under test. We define similarity using the root mean squared error computed from the dif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fuzzy and Cross-App Replay for Smartphone Apps

    Publication Year: 2016, Page(s):50 - 56
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (785 KB) | HTML iconHTML

    The behavior of smartphone apps is driven by input from sensors such as GPS, microphone, or camera. Hence the ability to construct test inputs, and send these inputs to the app is essential for testing. Leveraging our prior results in recording and replaying sensor inputs in Android apps we have constructed a new approach that helps automate smartphone app testing by capturing the input log (senso... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Graph-Aided Directed Testing of Android Applications for Checking Runtime Privacy Behaviours

    Publication Year: 2016, Page(s):57 - 63
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (332 KB) | HTML iconHTML

    While automated testing of mobile applications is very useful for checking run-time behaviours and specifications, its capability in discovering issues in apps is often limited in practice due to long testing time. A common practice is to randomly and exhaustively explore the whole app test space, which takes a lot of time and resource to achieve good coverage and reach targeted parts of the apps.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated Test Generation for Detection of Leaks in Android Applications

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

    Android devices have limited hardware resources (e.g., memory). Excessive consumption of such resources may lead to crashes, poor responsiveness, battery drain, and negative user experience. We propose an approach for systematic automated test generation to expose resource leak defects in Android applications. We first define the notion of a neutral sequence of GUI events. Intuitively, such a sequ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Find More Bugs with QuickCheck!

    Publication Year: 2016, Page(s):71 - 77
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (271 KB) | HTML iconHTML

    Random testing is increasingly popular and successful, but tends to spend most time rediscovering the "most probable bugs" again and again, reducing the value of long test runs on buggy software. We present a new automated method to adapt random test case generation so that already-discovered bugs are avoided, and further test effort can be devoted to searching for new bugs instead. We evaluate ou... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic Web Security Unit Testing: XSS Vulnerability Detection

    Publication Year: 2016, Page(s):78 - 84
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (524 KB) | HTML iconHTML

    Integrating security testing into the workflow of software developers not only can save resources for separate security testing but also reduce the cost of fixing security vulnerabilities by detecting them early in the development cycle. We present an automatic testing approach to detect a common type of Cross Site Scripting (XSS) vulnerability caused by improper encoding of untrusted data. We aut... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DynaMoth: Dynamic Code Synthesis for Automatic Program Repair

    Publication Year: 2016, Page(s):85 - 91
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (278 KB) | HTML iconHTML

    Automatic software repair is the process of automatically fixing bugs. The Nopol repair system repairs Java code using code synthesis. We have designed a new code synthesis engine for Nopol based on dynamic exploration, it is called DynaMoth. The main design goal is to be able to generate patches with method calls. We evaluate DynaMoth over 224 of the Defects4J dataset. The evaluation shows that N... View full abstract»

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

    Publication Year: 2016, Page(s): 92
    Request permission for reuse | PDF file iconPDF (57 KB)
    Freely Available from IEEE