Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Events (27 results)

Selenium based Testing Systems for Analytical Data Generation of Website User Behavior

InSTA When: Wed 28 Oct 2020 11:40 - 12:00 People: Takamasa Tanaka, Hidekazu Niibori, Li Shiyingxue, Shimpei Nomura, Tadayoshi Nakao, Kazuhiko Tsuda

… . The behavior data for analysis records the operation history of all functions …

Incorporating Testing Topics in an Object-Oriented Programming Course

TestEd 2020 When: Wed 28 Oct 2020 15:30 - 15:45 People: Rowland Pitts

… Despite the significance of software testing, and the huge body of knowledge associated with it, programming course curriculum often does not include it at all. This short paper discusses one instructor’s simple techniques …

An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines

IWCT 2020 When: Sat 24 Oct 2020 14:20 - 14:40 People: Andrea Bombarda, Angelo Gargantini

… of sequences, all with the same length, composed by the permutation of all

Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing

IWCT 2020 When: Sat 24 Oct 2020 14:50 - 15:10 People: Konrad Fögen, Horst Lichter

… -constrained test models. As a result, not all specified invalid values or invalid value …

MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests

Mutation 2020 When: Sat 24 Oct 2020 16:00 - 16:15 People: Michael Baer, Norbert Oster, Michael Philippsen

… missing cases. But it is too time-consuming to manually write all the required test … classifies all of them (13 equivalent, 239 non-equivalent). MutantDistiller …

On Using k-means Clustering for Test Suite Reduction

TAIC PART 2020 When: Sat 24 Oct 2020 14:20 - 14:35 People: Nour Chetouane, Franz Wotawa, Hermann Felbinger, Mihai Nica

… of inputs and outputs. For all example cases we were able to considerably reduce …

Teaching Software Testing in an Algorithms and Data Structures Course

TestEd 2020 When: Wed 28 Oct 2020 13:35 - 13:50 People: Andrea Arcuri

… testing was introduced was positively evaluated by the students. All our teaching …

Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application

IWCT 2020 When: Sat 24 Oct 2020 16:00 - 16:20 People: Jan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior

… , executing them, and setting up a test oracle to report them-all within the same tool …

Towards a Learning Environment for Internet of Things Testing with LEGO® MINDSTORMS®

TestEd 2020 When: Wed 28 Oct 2020 16:00 - 16:15 People: Thomas Auer, Michael Felderer

… Internet of Things (IoT) is one of the most fast-growing topics in computer science. Nearly all devices can be connected to the Internet nowadays … there is no unique testing strategy existing which is suitable for all possible …

A Case-based Approach for introducing Testing Tools and Principles

TestEd 2020 When: Wed 28 Oct 2020 14:15 - 14:30 People: Frédéric Dadeau, Jean-Philippe Gros, Fabien Peureux

… of a running case study, that is developed and tested all the way through …

On the impact of timeouts and JVM crashes in Pitest

Mutation 2020 When: Sat 24 Oct 2020 14:30 - 14:45 People: Thomas Laurent, Fionnuala Wall, Anthony Ventresque

… , a set of representative mutants that is computed from a full matrix of all test results against all mutants. Pitest is a state of the art mutation analysis …

Using mutation testing to measure behavioural test diversity

Mutation 2020 When: Sat 24 Oct 2020 14:45 - 15:00 People: Francisco Gomes, Felix Dobslaw, Robert Feldt

… outperform a-div and random selection in all of the studied projects. The improvement …

MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators

Research Papers When: Sun 25 Oct 2020 11:30 - 12:00Sun 25 Oct 2020 22:30 - 23:00 People: Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov

… , epitomized with tools like Korat, UDITA, and SciFe. All such tools are practically limited by scale; a given testing problem may be too large to generate all tests …), all without sacrificing generator conciseness. …

A Framework for In-Vivo Testing of Mobile Applications

Research Papers When: Tue 27 Oct 2020 09:00 - 09:30Tue 27 Oct 2020 20:00 - 20:30 People: Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Kifetew, Leonardo Mariani, Matteo Orru, Paolo Tonella

… The ecosystem in which mobile applications run is highly heterogeneous and configurable. All layers upon which mobile apps are built offer wide possibilities … and middleware, up to the user preferences and settings. Testing all possible …

Language-Agnostic Generation of Compilable Test Programs

Research Papers When: Sun 25 Oct 2020 11:00 - 11:30Sun 25 Oct 2020 22:00 - 22:30 People: Patrick Kreutzer, Stefan Kraus, Michael Philippsen

… of a programming language. It then creates test programs that satisfy all these rules …. We found bugs in all four case studies. For example, *Smith detected 165 …

Toward Automated Assessment of User Experience in Extended Reality

Doctoral Symposium When: Mon 26 Oct 2020 16:00 - 16:30 People: Saba Gholizadeh Ansari

… Designers of extended reality systems need to predict users feedback about designed elements to evaluate their systems. Manual user experience testing can not cover all preferences of users and user-system interactions. To improve …

Checking Security Properties of Cloud Service REST APIs

Industry Track When: Tue 27 Oct 2020 10:30 - 11:00Tue 27 Oct 2020 21:30 - 22:00 People: Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk

… their security implications. All these bugs have been fixed. …

EC.LANG - A Language for Specifying Response Time Analyses of Event Chains

Industry Track When: Mon 26 Oct 2020 10:45 - 11:15Mon 26 Oct 2020 21:45 - 22:15 People: Max Friese, Johannes Traub, Dirk Nowotka

… Modern cyber-physical systems pose great challenges for system engineers to keep track of the system’s behavior when it comes to functions distributed all over the system. To check whether response time constraints are met, measurement …

Anomaly Analyses to Guide Software Testing Activity

Doctoral Symposium When: Mon 26 Oct 2020 14:45 - 15:15 People: Allan Mori

… , the tester may not have enough time to run all test cases, needing to decide …

Mahtab: Phase-wise acceleration of regression testing for C

Journal-First Papers When: Mon 26 Oct 2020 16:30 - 17:00Tue 27 Oct 2020 03:30 - 04:00 People: Shouvick Mondal, Rupesh Nasre

… cycle, our goal is to reduce regression testing time across all phases using multi …

Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects

Journal-First Papers When: Mon 26 Oct 2020 14:45 - 15:15Tue 27 Oct 2020 01:45 - 02:15 People: Fabian Trautsch, Steffen Herbold, Jens Grabowski

… their defect detection capabilities. All integrated mutations are classified …

Prioritizing Runtime Verification Violations

Research Papers When: Tue 27 Oct 2020 09:30 - 10:00Tue 27 Oct 2020 20:30 - 21:00 People: Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim

… that ranks all true bugs at the top of the ranked list, and (2) 88.1% of true bugs …

Empirical evaluation of mutation-based test case prioritization techniques

Journal-First Papers When: Mon 26 Oct 2020 14:15 - 14:45Tue 27 Oct 2020 01:15 - 01:45 People: Donghwan Shin, Shin Yoo, Mike Papadakis, Doo-Hwan Bae

… that there is no single dominant technique across all the studied faults. To this end …

Scaling Test Case Generation For Expressive Decision Tables

Industry Track When: Mon 26 Oct 2020 11:45 - 12:15Mon 26 Oct 2020 22:45 - 23:15 People: Supriya Agrawal, R Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma

… of 144 seconds to cover all rows whereas the other two algorithms timed out on many …

Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study

Research Papers When: Sun 25 Oct 2020 09:45 - 10:15Sun 25 Oct 2020 20:45 - 21:15 People: Rawad Abou Assi, Wes Masri, Chadi Trad

… profiles. Leveraging substate profiling enhanced the effectiveness of all three …

Fostering the Diversity of Exploratory Testing in Web Applications

Research Papers When: Mon 26 Oct 2020 10:45 - 11:15Mon 26 Oct 2020 21:45 - 22:15 People: Julien Leveau, Xavier Blanc, Laurent Réveillère, Jean-Rémy Falleri, Romain Rouvoy

… to their users. As testers of these applications cannot remember all the sequences …

Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study

Research Papers When: Sun 25 Oct 2020 11:30 - 12:00Sun 25 Oct 2020 22:30 - 23:00 People: Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel Briand

… and complement each other? Though these questions are generally relevant to all