Notice
There is currently an issue with the citation download feature. Learn more

2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

13-17 April 2015

Filter Results

Displaying Results 1 - 25 of 82
  • [Front cover]

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

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

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

    Publication Year: 2015, Page(s):1 - 5
    Request permission for commercial reuse | PDF file iconPDF (81 KB)
    Freely Available from IEEE
  • Message from the chairs — A MOST 2015

    Publication Year: 2015, Page(s):1 - 2
    Request permission for commercial reuse | PDF file iconPDF (81 KB) | HTML iconHTML
    Freely Available from IEEE
  • A test automation language framework for behavioral models

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

    Model-based testers design tests in terms of models, such as paths in graphs. This results in abstract tests, which have to be converted to concrete tests because the abstract tests use names and events that exist in the model, but not the implementation. Model elements often appear in many abstract tests, so testers write the same redundant code many times. However, many existing model-based test... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On model-based testing advanced GUIs

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

    Graphical User Interface (GUI) design is currently shifting from designing GUIs composed of standard widgets to designing GUIs relying on more natural interactions and ad hoc widgets. This shift is meant to support the advent of GUIs providing users with more adapted and natural interactions, and the support of new input devices such as multi-touch screens. Standard widgets (e.g. buttons) are more... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test generation from timed pushdown automata with inputs and outputs

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

    We consider in this paper the model of Timed Pushdown Automata with Inputs and Outputs (TPAIO), for which state reachability can only be solved in exponential time. We compute by means of a polynomial algorithm a reachability timed automaton (RTA), thus partial, of a TPAIO. When the algorithm is applied to untimed pushdown automata, the reachability is equivalent in both automata. But with the add... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based approach for automated test case generation from visual requirement specifications

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

    Digital applications exhibit characteristics of rapid evolution, a multitude of stakeholders and emphasis on user experience. Role based access and data visualization is an important application feature. With increased focus on user experience, industry is seeing a growing trend towards visual approaches for documenting and validating requirements. A visual approach creates better synergy between ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Covering both stack and states while testing push-down systems

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

    In this paper we address the problem of generating abstract test cases from a system modelled by a push-down automaton. Existing classical coverage criteria are based either on states, transitions or loops in the automaton. This paper is based on a known theoretical result claiming that the accessible stack configurations in a push-down automaton form a regular language. We propose a new coverage ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model-based testing technique for component-based real-time embedded systems

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

    The growing complexity of modern real-time embedded systems is leading to increased use of component-based software engineering (CBSE) technology. Although many ideas have been proposed for building component-based real-time embedded software, techniques for testing component-based realtime systems are scarce. The challenges not only come from the integration of different types of components throu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • State machine flattening, a mapping study and tools assessment

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

    State machine formalisms equipped with hierarchy and parallelism allow to compactly model complex system behaviours. Such models can then be transformed into executable code or inputs for model-based testing and verification techniques. Generated artifacts are mostly flat descriptions of system behaviour. Flattening is thus an essential step of these transformations. To assess the importance of fl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards generation of adaptive test cases from partial models of determinized timed automata

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

    The well-defined timed semantics of timed automata as specification models provide huge advantages for the verification and validation of real-time systems. Thus, timed automata have already been applied in many different areas, including model-based testing. Unfortunately, there is one drawback in using timed automata for test-case generation: if they contain non-determinism or silent transitions... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Message from the chairs — ASQT 2015

    Publication Year: 2015, Page(s):1 - 2
    Request permission for commercial reuse | PDF file iconPDF (66 KB) | HTML iconHTML
    Freely Available from IEEE
  • Scaled Agile Framework: Presentation and real world example

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

    This case focuses on the applicability of the Scaled Agile Framework (SAFe) founded by Dean Leffingwell. Modern organizations often work with agile software engineering teams using traditional single team-level methods like Scrum, but multiple teams and the program or portfolio level are not part of methods like Scrum. SAFe tries to apply agile methodologies to the whole organisation. The real wor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A guide to lean software development in action

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

    Inspired by the success of Lean Manufacturing, various attempts have been made to translate Lean principles into the software engineering domain. As a result, Lean Software Development has gained large attention in the software development community as well as in academia. Unfortunately, it is still difficult to actually implement Lean Thinking as suggested by the pioneers of Lean Software Develop... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PMBOK vs. agile methods: How cultural change can become transparent

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

    Agile methods are based on interaction, communication, and the experience and engagement of people. Social aspects of collaboration are in the foreground. All these methods require adaptability - the skill to be able to react on changes. Command-and-control structures usually will be eliminated to a great extent. In traditional environments, often following e.g. PMBOK or PRINCE2 principles command... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test automation for NFC ICs using Jenkins and NUnit

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

    This article gives a detailed overview of the setup of a test environment which is used for Near Field Communication (NFC) Integrated Circuits (ICs) at ams AG. The test environment is used for the verification and validation of the NFC ICs, as well as for pre-certification test runs, and is useable in two ways: (1) manual execution for every developer to be able to run tests on their desk before c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designing sustainable information systems for organizations operating in safety critical environments

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

    The availability of adequate and sustainable information systems has become one of the most important success factors for operations in safety critical environments, where life and safety of people is at stake. In this paper the development and the implementation of an information system for public safety is presented. In a more than two-year project various information services for the Austrian F... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Security tests for mobile applications — Why using TLS/SSL is not enough

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

    Security testing is a fundamental aspect in many common practices in the field of software testing. Still, the used standard security protocols are typically not questioned and not further analyzed in the testing scenarios. In this work we show that due to this practice, essential potential threats are not detected throughout the testing phase and the quality assurance process. We put our focus ma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A survey on mobile users' software quality perceptions and expectations

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

    Software quality can be looked at from many perspectives. Software quality assurance techniques can improve internal and external quality properties of applications. However, the users' perceptions of and expectations on the resulting software product are pivotal to the products' economic success. In this contribution the results of a survey on quality aspects of mobile applications (apps) with 14... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing tool support for analyzing stakeholder communications in software development

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

    The problem with communicated information originated from stakeholders participating in software development processes is related to the fact that such information is not always available for analysis and reuse. As a rule, it is collected in project repositories (such as issue or bug databases) and only consulted “as-is”: such activities do not always satisfy the analytical needs of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated testing in the cloud: Test infrastructure management with SaaS

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

    Quality assurance in software development cannot exist without software testing. Developers and dev teams often deal with incompatibility issues, because of the fact that they do not have access to every single environment to test their software on. This article will discuss one specific solution for automated testing via virtualization in the cloud and highlight its usage for real-world applicati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • From agile software development to the sharing economy and the collaborative commons: Social apps for enterprises

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

    In this article we motivate the ongoing changes in our economy due to digitalization of enterprises and the changes in workforce. The evolution and growth of digital and mobile technologies has radically changed the way we work. The success of agile software development can be seen as a forerunner of an economic transformation that results in purpose-driven organisations, the sharing economy and t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scaling a running agile fix-bid project with near shoring: Theory vs. reality and (best) practice

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

    This is a case study about a fully distributed Scrum team. In the beginning of the project the team was collocated in Austria, but then it was scaled with colleagues from Bosnia and Germany. Due to this scaling, challenges related to language and culture arise. This paper describes how critical changes influence a Scrum team and how to overcome the faced challenges. View full abstract»

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