ICST 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (521)

A Muhammad AbbasAbbas, Muhammad RISE Research Institutes of SwedenSweden Keywords-based test categorization for Extra-Functional Properties
Rawad Abou AssiAbou Assi, Rawad American University of BeirutLebanon Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study
Rui AbreuAbreu, Rui Faculty of Engineering, University of Porto, PortugalPortugal General Chair in Organizing Committee for ICST 2020 Steering Committee Member in Steering Committee for ICST 2020 Session Chair of Most Influential Paper Awards (part of ICST Research Papers) Session Chair of Intro & Welcome (part of ICST Research Papers) Session Chair of Intro & Welcome (part of ICST Research Papers) Session Chair of Keynote 3 (part of ICST Research Papers) Session Chair of IT3 - Safety & Security (part of ICST Industry Track) Session Chair of IT3 - Safety & Security (part of ICST Industry Track) Session Chair of IT2 - Misc (part of ICST Industry Track) General Chair in Organizing Committee within the TAIC PART-track
Yu AdachiAdachi, Yu NTT User-Friendly Input Assistance with Web Crawling for Test Script Generation
Afsoon AfzalAfzal, Afsoon Carnegie Mellon UniversityUnited States A Study on Challenges of Testing Robotic Systems
Supriya AgrawalAgrawal, Supriya Tata Consultancy Services Ltd. (TCS) Scaling Test Case Generation For Expressive Decision Tables
Tanwir AhmadAhmad, Tanwir Åbo Akademi UniversityFinland Automatic exploratory performance testing using a discriminator neural network
Pekka AhoAho, Pekka Open University of the NetherlandsNetherlands Programme Committee in Program Committee within the NEXTA-track Committee Member in Organizing Committee within the INTUITESTBEDS-track Programme Committee in Program Committee within the ICST Testing Tools Track-track
Bernhard AichernigAichernig, Bernhard Graz University of TechnologyAustria Session Chair of Session I (part of A-MOST) PC Member in Program Committee within the ITEQS-track Co-chair in Organizing Committee within the A-MOST-track Co-chair in Program Committee within the A-MOST-track
Khaled Al-SabbaghAl-Sabbagh, Khaled University of GothenburgSweden Selective Regression Testing based on Big Data: Comparing Feature Extraction Techniques
Elvira AlbertAlbert, Elvira Complutense University of Madrid, Spain Smart - and also reliable and gas-efficient - Contracts
Elvira AlbertAlbert, Elvira Committee Member in Program Committee within the ICST Research Papers-track
Shaukat AliAli, Shaukat Simula Research Laboratory Doctoral Symposium Co-Chair in Organizing Committee for ICST 2020 Session Chair of Doctoral Symposium 3 (part of ICST Doctoral Symposium) Session Chair of Doctoral Symposium 2 (part of ICST Doctoral Symposium) Session Chair of Doctoral Symposium 1 (part of ICST Doctoral Symposium) Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems PC Member in Program Committee within the ITEQS-track Doctoral Symposium Chair in Program Chairs within the ICST Doctoral Symposium-track Committee Member in Program Committee within the ICST Research Papers-track
Ana AlmeidaAlmeida, Ana ISTAR - Information Sciences and Technologies and Architecture Research CenterPortugal Automated security testing of Android applications for secure mobile development
Hussein AlmullaAlmulla, Hussein University of South CarolinaUnited States Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection
Nadia AlshahwanAlshahwan, Nadia FacebookUnited Kingdom Tools Demo Co-Chair in Organizing Committee for ICST 2020 Tools Demo Chair in Program Chairs within the ICST Tool Demos Track-track
Abdullah AlsharifAlsharif, Abdullah The University of SheffieldUnited Kingdom STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases
Emil AlégrothAlégroth, Emil Blekinge Institute of TechnologySweden Augmented Testing using Scout Translation from Visual to Layout-based Android Test Cases: a Proof of Concept On the Industrial Applicability of Augmented Testing: An Empirical Study Committee Member in Program Committee within the ICST Research Papers-track
Domenico AmalfitanoAmalfitano, Domenico University of Naples Federico IIItaly Committee Member in Program Committee within the ICST Doctoral Symposium-track
Fabrice AmbertAmbert, Fabrice FEMTO-ST Institute Supporting efficient test automation using lightweight MBT Tool Support for Refactoring Manual Tests
Paul AmmannAmmann, Paul George Mason University, USA Teaching a Testing Concept (JUnit) with Active Learning
Vítor AmorimAmorim, Vítor Sequence Mining for Automatic Generation of Software Tests from GUI event traces
Joseba Andoni AgirreAndoni Agirre, Joseba Universidad Mondragon Spain A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
Anneliese AndrewsAndrews, Anneliese University of DenverUnited States Committee Member in Program Committee within the ICST Research Papers-track
Sean AndrewsAndrews, Sean New Jersey Institute of TechnologyUnited States Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms
Artur AndrzejakAndrzejak, Artur Heidelberg UniversityGermany Detecting Higher-Order Merge Conflicts in Large Software Projects Determining Method-Call Sequences for Object Creation in C++
Maurício AnicheAniche, Maurício Delft University of Technology, Netherlands Session Chair of Journal First 1 (part of ICST Journal-First Papers) Journal First Co-Chair in Program Chairs within the ICST Journal-First Papers-track
Paulo AntunesAntunes, Paulo LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants
Francisco AraújoAraújo, Francisco LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal Generating Tests for the Discovery of Security Flaws in Product Variants
Paolo ArcainiArcaini, Paolo National Institute of Informatics Japan Model-Based Testing for MAPE-K adaptation control loops Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems Committee Member in Program Committee within the A-MOST-track Committee Member in Program Committee within the ICST Doctoral Symposium-track
Andrea ArcuriArcuri, Andrea Kristiania University College, NorwayNorway Teaching Software Testing in an Algorithms and Data Structures Course Testability Transformations For Existing APIs EvoMaster: Search-Based System Test Generation for RESTful APIs Committee Member in Program Committee within the ICST Tool Demos Track-track Committee Member in Program Committee within the ICST Research Papers-track
Luca ArditoArdito, Luca Politecnico di TorinoItaly Translation from Visual to Layout-based Android Test Cases: a Proof of Concept
Aitor ArrietaArrieta, Aitor Mondragon Goi Eskola PoliteknikoaSpain A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
Cyrille ArthoArtho, Cyrille KTH Royal Institute of TechnologySweden Toward an Encoding Approach to Interaction-based Test Suite Minimization
Vaggelis AtlidakisAtlidakis, Vaggelis Columbia UniversityUnited States Checking Security Properties of Cloud Service REST APIs
Thomas AuerAuer, Thomas Germany Towards a Learning Environment for Internet of Things Testing with LEGO® MINDSTORMS®
Paulo J. AzevedoAzevedo, Paulo J. Sequence Mining for Automatic Generation of Software Tests from GUI event traces
B Thomas BachBach, Thomas Heidelberg UniversityGermany Continuous Data Analysis for CI Determining Method-Call Sequences for Object Creation in C++
Doo-Hwan BaeBae, Doo-Hwan Korea Advanced Institute of Science and Technology Empirical evaluation of mutation-based test case prioritization techniques
Michael BaerBaer, Michael MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests
Shizuka BanBan, Shizuka NPO ASTER Minato-ku, TokyoJapan Techniques to Reach Common Ground about Test Aspect within a Test Team
Kesina BaralBaral, Kesina George Mason UniversityUnited States Committee Member in Student Volunteers for ICST 2020 Teaching a Testing Concept (JUnit) with Active Learning An Empirical Analysis of Blind Tests Publicity Chair in Organizing Committee within the TestEd-track
Benoit BaudryBaudry, Benoit KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the ICST Doctoral Symposium-track
Jonathan BellBell, Jonathan Northeastern University, USA Programme Committee in Program Committee within the ICST Testing Tools Track-track
Elodie BernardBernard, Elodie FEMTO-ST Institute, Univ. Bourgogne Franche-Comté, SogetiFrance Supporting efficient test automation using lightweight MBT Tool Support for Refactoring Manual Tests
Antonia BertolinoBertolino, Antonia CNR-ISTIItaly Run Java Applications and Test Them In-Vivo Meantime PC Member in Program Committee within the ITEQS-track
Danilo BeucheBeuche, Danilo Leipzig University Keynote: Product Line Testing with pure::variants and Beyond
Matteo BiagiolaBiagiola, Matteo Fondazione Bruno Kessler (FBK)Italy Dependency-Aware Web Test Generation A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development
Machiel van der BijlBijl, Machiel van der AxiniNetherlands Programme Committee in Program Committee within the NEXTA-track
Xavier BlancBlanc, Xavier LaBRIFrance Fostering the Diversity of Exploratory Testing in Web Applications
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Committee Member in Program Committee within the ICST Research Papers-track
Kirill BogdanovBogdanov, Kirill The University of SheffieldUnited Kingdom Committee Member in Program Committee within the A-MOST-track
Markus BohlinBohlin, Markus RISE Research Institutes of SwedenSweden Poster: Performance Testing Driven by Reinforcement Learning
Andrea BombardaBombarda, Andrea University of BergamoItaly Committee Member in Student Volunteers for ICST 2020 An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines
Markus BorgBorg, Markus RISE Research Institutes of SwedenSweden Poster: Performance Testing Driven by Reinforcement Learning Programme Committee in Program Committee within the NEXTA-track
Julien BotellaBotella, Julien Smartesting Tool Support for Refactoring Manual Tests
Josip BozicBozic, Josip Graz University of Technology (Alumnus)Austria Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
Jeremy BradburyBradbury, Jeremy Ontario Tech UniversityCanada Committee Member in Organizing Committee within the ToCaMS-track
Lionel BriandBriand, Lionel University of Luxembourg, University of OttawaLuxembourg Can We Predict the Quality of Spectrum-based Fault Localization? Metamorphic Security Testing for Web Systems Panel 3: Why and How to Get a Ph.D.? Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study Committee Member in Program Committee within the ICST Research Papers-track
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly CBR: Controlled Burst Recording
Claudinei Brito JuniorBrito Junior, Claudinei Universidade de São PauloBrazil An Approach to Identifying Minimal and Equivalent Mutants Based on Source Code Structure
Miroslav BuresBures, Miroslav Czech Technical University in PragueCzech Republic An Automated Testing Framework For Smart TV apps Based on Model Separation Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing
Marcel BöhmeBöhme, Marcel Monash University, AustraliaAustralia Human-In-The-Loop Automatic Program Repair AFLNet: A Greybox Fuzzer for Network Protocols Committee Member in Program Committee within the ICST Research Papers-track
C Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom Committee Member in Program Committee within the ICST Research Papers-track
Alessandro CalòCalò, Alessandro Technical University of MunichGermany Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
Valter Vieira CamargoCamargo, Valter Vieira Federal University of São CarlosBrazil Fault Types of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing Approaches
Jose CamposCampos, Jose University of Lisbon, PortugalPortugal Web Chair in Organizing Committee for ICST 2020 Session Chair of RT1 - Fault Localization and Debugging Infante (part of ICST Research Papers) Session Chair of RT6 - Web Testing (part of ICST Research Papers) Programme Committee in Program Committee within the ICST Testing Tools Track-track
Alexandre CannyCanny, Alexandre ICS-IRIT, Université Toulouse III Paul SabatierFrance Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets
Nuno CastanhoCastanho, Nuno Faculty of Sciences, University of LisbonPortugal Committee Member in Student Volunteers for ICST 2020
Adnan CausevicCausevic, Adnan Mälardalen UniversitySweden Session Chair of Session: Optimisation (part of NEXTA) QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs Program Co-Chair in Organizing Committee within the NEXTA-track
Mariano CeccatoCeccato, Mariano University of VeronaItaly RESTTESTGEN: Automated Black-Box Testing of RESTful APIs A Framework for In-Vivo Testing of Mobile Applications A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development Committee Member in Program Committee within the ICST Tool Demos Track-track
Paolina CentonzeCentonze, Paolina Iona CollegeItaly Programme Committee in Program Committee within the ICST Industry Track-track
Suranjan ChakrabortyChakraborty, Suranjan Towson UniversityUnited States Teaching Software Testing with Free and Open Source Software
Prantik ChatterjeeChatterjee, Prantik Committee Member in Student Volunteers for ICST 2020
Sudipta ChattopadhyayChattopadhyay, Sudipta Singapore University of Technology and Design Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems
Chun-Fu Richard ChenChen, Chun-Fu Richard IBM Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms Programme Committee in Program Committee within the ICST Industry Track-track
Tsong Yueh ChenChen, Tsong Yueh Swinburne University of Technology Committee Member in Program Committee within the ICST Research Papers-track
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina Committee Member in Program Committee within the ICST Tool Demos Track-track Committee Member in Program Committee within the ICST Research Papers-track
Nour ChetouaneChetouane, Nour On Using k-means Clustering for Test Suite Reduction
Antoine ChevrotChevrot, Antoine Femto-ST InstituteFrance Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance Best Paper
Gabriela CiocarlieCiocarlie, Gabriela SRI International ct-fuzz: Fuzzing for Timing Leaks
Myra CohenCohen, Myra Iowa State UniversityUnited States Steering Committee Member in Steering Committee for ICST 2020
Riccardo CoppolaCoppola, Riccardo Politecnico di Torino Translation from Visual to Layout-based Android Test Cases: a Proof of Concept
Maxime CordyCordy, Maxime University of Luxembourg, Luxembourg Committee Member in Program Committee within the A-MOST-track
Oscar CornejoCornejo, Oscar University of Milano Bicocca, ItalyItaly CBR: Controlled Burst Recording
Davide CorradiniCorradini, Davide Fondazione Bruno KesslerItaly A Framework for In-Vivo Testing of Mobile Applications
Flávio CoutoCouto, Flávio Committee Member in Student Volunteers for ICST 2020
Antoine CraskeCraske, Antoine La Redoute Cerberus: an Automated Tool for Continuous Testing
Aymeric CretinCretin, Aymeric Femto-ST InstituteFrance Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance Best Paper
Luis CruzCruz, Luis Deflt University of TechnologyNetherlands Web Chair in Organizing Committee for ICST 2020 Session Chair of Keynote 2 (part of ICST Research Papers) Session Chair of Most Influential Paper Awards (part of ICST Research Papers) Session Chair of RT10 - Misc 3 (part of ICST Research Papers) Session Chair of IT2 - Misc (part of ICST Industry Track) Programme Committee in Program Committee within the ICST Testing Tools Track-track
Chenhui CuiCui, Chenhui Jiangsu UniversityChina Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing?
Cristiano CunhaCunha, Cristiano Farfetch Escalating CI/CD for Growing Companies: The Pipelines 2.0 Project
D Marcelo d'Amorimd'Amorim, Marcelo Federal University of PernambucoBrazil Publicity Co-Chair in Organizing Committee for ICST 2020 Session Chair of RT2 - Test Generation Infante (part of ICST Research Papers) Session Chair of RT5 - Testing for APIs (part of ICST Research Papers) Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations Prioritizing Runtime Verification Violations Committee Member in Program Committee within the ICST Research Papers-track Program Co-Chair in Organizing Committee within the TAIC PART-track
Frédéric DadeauDadeau, Frédéric Univ. Bourgogne Franche-Comté FEMTO-ST Institute/DISC, CNRS, BesançonFrance A Case-based Approach for introducing Testing Tools and Principles
Michael DallagoDallago, Michael University of TrentoItaly RESTTESTGEN: Automated Black-Box Testing of RESTful APIs
Lucas D. DalliloDallilo, Lucas D. University of Sao PauloBrazil SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing
Joseph DavidsonDavidson, Joseph Good AICzech Republic Poster: Agent-based Testing of Extended Reality Systems
Guglielmo De AngelisDe Angelis, Guglielmo CNR-IASI, CNR-ISTIItaly Run Java Applications and Test Them In-Vivo Meantime
Paulo Sergio Lopes de Souzade Souza, Paulo Sergio Lopes University of São Paulo - USPBrazil Performance Evaluation of Container's Shared Volumes Towards a unified catalog of attributes to guide industry in software testing technique selection
Simone do Rocio Senger de Souzade Souza, Simone do Rocio Senger University of São Paulo - USPBrazil Performance Evaluation of Container's Shared Volumes Towards a unified catalog of attributes to guide industry in software testing technique selection An Approach to Identifying Minimal and Equivalent Mutants Based on Source Code Structure
Vidroha DebroyDebroy, Vidroha Using Mutation to Automatically Suggest Fixes for Faulty Programs
Fatih DegirmenciDegirmenci, Fatih Ericsson Software TechnologySweden Interoperability Challenges in CI/CD Ecosystem
Josh DehlingerDehlinger, Josh Towson University Teaching Software Testing with Free and Open Source Software
Marcio Eduardo DelamaroDelamaro, Marcio Eduardo Universidade de São PauloBrazil An Approach to Identifying Minimal and Equivalent Mutants Based on Source Code Structure
Serge DemeyerDemeyer, Serge University of Antwerp, BelgiumBelgium Session Chair of Session: Test Generation (part of NEXTA) General Chair in Organizing Committee within the NEXTA-track
Lin DengDeng, Lin Towson UniversityUnited States Teaching Software Testing with Free and Open Source Software
Pouria DerakhshanfarDerakhshanfar, Pouria Delft University of TechnologyNetherlands Well-informed Test Case Generation and Crash Reproduction
Xavier DevroeyDevroey, Xavier Delft University of TechnologyNetherlands Committee Member in Program Committee within the A-MOST-track Programme Committee in Program Committee within the ICST Testing Tools Track-track
Kyle DeweyDewey, Kyle California State University, NorthridgeUnited States MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
Massimiliano Di PentaDi Penta, Massimiliano University of Sannio, ItalyItaly Committee Member in Program Committee within the ICST Research Papers-track
Frank DignumDignum, Frank Umea UniversitySweden Poster: Agent-based Testing of Extended Reality Systems
Sahin DirimDirim, Sahin Prioritization of Test Cases with Varying Test Costs and Fault Severities for Certification Testing
Felix DobslawDobslaw, Felix Chalmers University of TechnologySweden Using mutation testing to measure behavioural test diversity Boundary Value Exploration for Software Analysis
Natia DoliashviliDoliashvili, Natia Institute of Computer Science, University of TartuEstonia Predicting Survived and Killed Mutants
Jean-Yves DonnartDonnart, Jean-Yves Thales AVSFrance Poster: Agent-based Testing of Extended Reality Systems
Rafael S. DurelliDurelli, Rafael S. Federal University of Lavras LavrasBrazil An Approach to Identifying Minimal and Equivalent Mutants Based on Source Code Structure
Vinicius DurelliDurelli, Vinicius Universidade Federal de São João del-ReiBrazil An Approach to Identifying Minimal and Equivalent Mutants Based on Source Code Structure Committee Member in Program Committee within the ICST Industry Track-track
Thomas DurieuxDurieux, Thomas KTH Royal Institute of Technology, SwedenSweden Student Volunteer Co-Chair in Organizing Committee for ICST 2020 Session Chair of RT10 - Misc 3 (part of ICST Research Papers) Committee Member in Program Committee within the ICST Research Papers-track
E Sigrid EldhEldh, Sigrid EricssonSweden Test Automation Improvement Model - TAIM 2.0 Committee Member in Program Committee within the ICST Tool Demos Track-track Programme Committee in Program Committee within the NEXTA-track
Leire Etxeberria ElorzaElorza, Leire Etxeberria University de MondragonSpain Programme Committee in Program Committee within the NEXTA-track
Michael EmmiEmmi, Michael Amazon Web Services ct-fuzz: Fuzzing for Timing Leaks
André T. EndoEndo, André T. Federal University of Technology - Paraná (UTFPR)Brazil NodeRacer: Event Race Detection for Node.js Applications
Eduard Paul EnoiuEnoiu, Eduard Paul Mälardalen UniversitySweden Session Chair of Session II (part of ITEQS) Keywords-based test categorization for Extra-Functional Properties Co-chair in Organizing Committee within the ITEQS-track
Camilo Escobar-VelásquezEscobar-Velásquez, Camilo Universidad de los AndesColombia Committee Member in Student Volunteers for ICST 2020 Source-Codeless Testing for Android Apps
Isabel EvansEvans, Isabel Test Tools: an illusion of usability?
F Jean-Rémy FalleriFalleri, Jean-Rémy Bordeaux INPFrance Fostering the Diversity of Exploratory Testing in Web Applications
João Pascoal FariaFaria, João Pascoal Faculty of Engineering, University of Porto and INESC TECPortugal General Chair in Organizing Committee for ICST 2020 Session Chair of Most Influential Paper Awards (part of ICST Research Papers) Session Chair of Intro & Welcome (part of ICST Research Papers) Session Chair of Keynote 1 (part of ICST Research Papers) Session Chair of Intro & Welcome (part of ICST Research Papers) Session Chair of RT3 - Testing Deep Learning and Robotic Systems (part of ICST Research Papers) Session Chair of IT1 - Test Generation & Refactoring (part of ICST Industry Track)
Joseph FeimanFeiman, Joseph WhiteHat Security Quick and Precise Security Testing During Development with Intelligence-Directed DAST
Hermann FelbingerFelbinger, Hermann On Using k-means Clustering for Test Suite Reduction
Michael FeldererFelderer, Michael University of InnsbruckAustria Towards a Learning Environment for Internet of Things Testing with LEGO® MINDSTORMS® Committee Member in Program Committee within the ICST Tool Demos Track-track
Robert FeldtFeldt, Robert Chalmers University of TechnologySweden Steering Committee Member in Steering Committee for ICST 2020 Augmented Testing using Scout Using mutation testing to measure behavioural test diversity Boundary Value Exploration for Software Analysis On the Industrial Applicability of Augmented Testing: An Empirical Study Committee Member in Program Committee within the ICST Research Papers-track Programme Committee in Program Committee within the ICST Industry Track-track
Soraia FelícioFelício, Soraia FEUP, University of PortoPortugal Committee Member in Student Volunteers for ICST 2020
Leo FernandesFernandes, Leo Federal Institute of Alagoas (IFAL)Brazil Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
Leonardo FernandesFernandes, Leonardo Federal University of Pernambuco, BrazilBrazil Committee Member in Student Volunteers for ICST 2020
Pedro FernandesFernandes, Pedro Universidade de LisboaPortugal Poster: Agent-based Testing of Extended Reality Systems
Fabiano FerrariFerrari, Fabiano Federal University of São CarlosBrazil Session Chair of Journal First 1 (part of ICST Journal-First Papers) Session Chair of RT7 - Optimizing Testing (part of ICST Research Papers) Session Chair of RT6 - Web Testing (part of ICST Research Papers) SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing Fault Types of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing Approaches Committee Member in Program Committee within the ICST Research Papers-track
Ana FidalgoFidalgo, Ana LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants
Antonio FilieriFilieri, Antonio Imperial College LondonUnited Kingdom Session Chair of RT3 - Testing Deep Learning and Robotic Systems (part of ICST Research Papers) Committee Member in Program Committee within the ICST Research Papers-track
Jannik FischbachFischbach, Jannik Qualicen GmbH SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
Mark FloryanFloryan, Mark Computer Science, University of Virginia, CharlottesvilleUnited States A Preliminary Report on Hands-On and Cross-Course Activities in a College Software Testing Course
Daniel FortunatoFortunato, Daniel Committee Member in Student Volunteers for ICST 2020
Alexy FouilladeFouillade, Alexy Ecole superieure d’electronique de l’OuestFrance A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
Gordon FraserFraser, Gordon University of PassauGermany Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements Journal First Co-Chair in Program Chairs within the ICST Journal-First Papers-track Committee Member in Program Committee within the ICST Research Papers-track
Ricardo FreitasFreitas, Ricardo Sequence Mining for Automatic Generation of Software Tests from GUI event traces
Dietmar FreudensteinFreudenstein, Dietmar Allianz Deutschland AG SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
Torben FriedrichsFriedrichs, Torben RWTH Aachen UniversityGermany A Comparison Infrastructure for Fault Characterization Algorithms
Max FrieseFriese, Max Christian-Albrechts-Universität zu Kiel EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Konrad FögenFögen, Konrad RWTH Aachen UniversityGermany Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing A Comparison Infrastructure for Fault Characterization Algorithms
G Miruna Gabriela PaduraruGabriela Paduraru, Miruna University of Bucharest Romania Optimizing decision making in concolic execution using reinforcement learning
Juan Pablo GaleottiGaleotti, Juan Pablo University of Buenos AiresArgentina Testability Transformations For Existing APIs EvoMaster: Search-Based System Test Generation for RESTful APIs Committee Member in Program Committee within the ICST Research Papers-track
Alessio GambiGambi, Alessio University of PassauItaly Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements Programme Committee in Program Committee within the ICST Testing Tools Track-track
Naylor GarciaGarcia, Naylor University of São Paulo - USPBrazil Performance Evaluation of Container's Shared Volumes
Angelo GargantiniGargantini, Angelo University of BergamoItaly Session Chair of Session II (part of A-MOST) An Automated Testing Framework For Smart TV apps Based on Model Separation An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines Co-chair in Organizing Committee within the A-MOST-track Co-chair in Program Committee within the A-MOST-track
Vahid GarousiGarousi, Vahid Queen's University BelfastUnited Kingdom PC Member in Program Committee within the ITEQS-track
Miroslav GavrilovGavrilov, Miroslav University of California, Santa BarbaraUnited States MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
Gregory GayGay, Gregory Chalmers and the University of GothenburgSweden Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection
Luca GazzolaGazzola, Luca Università degli Studi di Milano-BicoccaItaly A Framework for In-Vivo Testing of Mobile Applications
Charaka GeethalGeethal, Charaka Monash UniversityAustralia Human-In-The-Loop Automatic Program Repair
Ralf GerlichGerlich, Ralf Dr. Rainer Gerlich System and Software EngineeringGermany Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation
Mohammad GhafariGhafari, Mohammad University of BernSwitzerland Programme Committee in Program Committee within the NEXTA-track
Rohit GheyiGheyi, Rohit Federal University of Campina GrandeBrazil Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
Saba Gholizadeh AnsariGholizadeh Ansari, Saba Utrecht UniversityNetherlands Toward Automated Assessment of User Experience in Extended Reality
Prabir Ghoushal KumarGhoushal Kumar, Prabir Accenture Solutions Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
Milos GligoricGligoric, Milos University of Texas at Austin, USA Committee Member in Program Committee within the ICST Research Papers-track Programme Committee in Program Committee within the ICST Industry Track-track
Patrice GodefroidGodefroid, Patrice Microsoft Research, USAUnited States Checking Security Properties of Cloud Service REST APIs
Arda GoknilGoknil, Arda SnT, University of LuxembourgLuxembourg Metamorphic Security Testing for Web Systems
Mojdeh GolaghaGolagha, Mojdeh Technical University of MunichGermany Can We Predict the Quality of Spectrum-based Fault Localization?
Francisco GomesGomes, Francisco Chalmers \| University of GothenburgSweden Using mutation testing to measure behavioural test diversity Boundary Value Exploration for Software Analysis
Rahul GopinathGopinath, Rahul CISPA, GermanyGermany Committee Member in Program Committee within the ICST Research Papers-track Programme Committee in Program Committee within the ICST Testing Tools Track-track Program Co-Chair in Organizing Committee within the Mutation-track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Committee Member in Program Committee within the ICST Research Papers-track
Arnaud GotliebGotlieb, Arnaud Simula Research LaboratoryNorway Committee Member in Program Committee within the ICST Research Papers-track
Jens GrabowskiGrabowski, Jens University of Göttingen Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects
Alex GroceGroce, Alex Northern Arizona UniversityUnited States Committee Member in Program Committee within the ICST Research Papers-track
Jean-Philippe GrosGros, Jean-Philippe France A Case-based Approach for introducing Testing Tools and Principles
Lars GrunskeGrunske, Lars Humboldt-Universität zu BerlinGermany Committee Member in Program Committee within the ICST Research Papers-track
Marcio Augusto GuimarãesGuimarães, Marcio Augusto Federal University of Alagoas (UFAL)Brazil Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
H Liana HadareanHadarean, Liana Amazon One-click formal methods
Jon D. HagarHagar, Jon D. Grand Software Testing, LLC, Hot Sulphur Springs, COUnited States Identifying Software Test Architect Skills and Knowledge
Laura HagarHagar, Laura Grand Software Testing, LLC, Hot Sulphur Springs, COUnited States Identifying Software Test Architect Skills and Knowledge
Shant HairapetianHairapetian, Shant University of OregonUnited States MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
Dan HaoHao, Dan Peking University, ChinaChina Committee Member in Program Committee within the ICST Research Papers-track
Julian HartyHarty, Julian Commercetest LtdUnited Kingdom Test Tools: an illusion of usability? Data Dynamics for Testing Systems Fast Abstract: Data Dynamics for Testing Systems How Can Software Testing be Improved by Analytics to Deliver Better Apps?
Florian HauerHauer, Florian Technical University of Munich Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
Shaobo HeHe, Shaobo University of UtahUnited States ct-fuzz: Fuzzing for Timing Leaks
Regina HebigHebig, Regina Chalmers \| Gothenburg UniversitySweden Selective Regression Testing based on Big Data: Comparing Feature Extraction Techniques
Sarah HeckmanHeckman, Sarah NC State UniversityUnited States Integrating Testing Throughout the CS Curriculum
Tim A. D. HendersonHenderson, Tim A. D. GoogleUnited States Organizing Committee in Organizing Committee within the CCIW-track
Steffen HerboldHerbold, Steffen University of GöttingenGermany Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects
Pavel HeroutHerout, Pavel University of West Bohemia, Pilsen, CZCzech Republic Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing
Rob HieronsHierons, Rob The University of SheffieldUnited Kingdom Committee Member in Program Committee within the ICST Doctoral Symposium-track
Robert HieronsHierons, Robert University of SheffieldUnited Kingdom Committee Member in Program Committee within the ICST Research Papers-track
Michael HiltonHilton, Michael Carnegie Mellon University, USAUnited States A Study on Challenges of Testing Robotic Systems
Shruti HonnungarHonnungar, Shruti VMware Culprit Finder: Tinderbox Build Breakage Triaging Tool
Hiroshi HosobeHosobe, Hiroshi Hosei UniversityJapan A Tool for Testing Event-Driven Programs in Processing
Shaohan HuHu, Shaohan IBM Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms
Rubing HuangHuang, Rubing Jiangsu UniversityChina Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing?
Nargiz HumbatovaHumbatova, Nargiz Università della Svizzera Italiana (USI) Committee Member in Student Volunteers for ICST 2020
I Hajimu IidaIida, Hajimu Nara Institute of Science and Technology Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
Takahiro IidaIida, Takahiro Hitachi Automotive Systems Ltd.Japan Optimization of automated executions based on integration test configurations of embedded software
Florentin IpateIpate, Florentin University of BucharestRomania Committee Member in Program Committee within the A-MOST-track
Muhammad Zohaib IqbalIqbal, Muhammad Zohaib National University of Computer and Emerging SciencesPakistan CDST: A Toolkit for Testing Cockpit Display Systems PC Member in Program Committee within the ITEQS-track
Toru IrieIrie, Toru Hitachi Automotive Systems Ltd.Japan Optimization of automated executions based on integration test configurations of embedded software
Hiroki IseriIseri, Hiroki NPO ASTER Minato-ku, TokyoJapan Techniques to Reach Common Ground about Test Aspect within a Test Team
Kumiko IseriIseri, Kumiko NPO ASTER Minato-ku, TokyoJapan Techniques to Reach Common Ground about Test Aspect within a Test Team
Nikolaj Isgård SchmidtIsgård Schmidt, Nikolaj Aalborg UniversityDenmark Conformance Testing in UPPAAL: A diabolic approach
Naoki IshihamaIshihama, Naoki Japan Aerospace Exploration AgencyJapan Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
Fuyuki IshikawaIshikawa, Fuyuki National Institute of InformaticsJapan Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
Franjo IvancicIvancic, Franjo GoogleUnited States SunDew: Systematic Automated Security Testing
Marko IvankovićIvanković, Marko Google; Universität PassauCroatia Programme Committee in Program Committee within the ICST Testing Tools Track-track
Takuya IwatsukaIwatsuka, Takuya NTT Quick and Precise Security Testing During Development with Intelligence-Directed DAST
J Gunel JahangirovaJahangirova, Gunel USI Lugano, SwitzerlandSwitzerland An Empirical Evaluation of Mutation Operators for Deep Learning Systems
Oussama JebbarJebbar, Oussama Gina Cody School of Engineering and Computer Science, Concordia University, MontrealCanada Regression Test Suite Reduction for Cloud Systems
Chinmaya JenaJena, Chinmaya Accenture SolutionsIndia Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
Xingbin JiangJiang, Xingbin Singapore University of Technology and DesignSingapore Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems
Yu JiangJiang, Yu Tsinghua University Programme Committee in Program Committee within the ICST Industry Track-track
Jeonghyun JooJoo, Jeonghyun Korea Air Force AcademySouth Korea Poster: Test Case Prioritization Using Error Propagation Probability
Alípio JorgeJorge, Alípio Department of Computer Science, University of PortoPortugal Sequence Mining for Automatic Generation of Software Tests from GUI event traces
Barbara JungJung, Barbara Expleo GermanyGermany Runtime Prioritization with the Classification Tree Method for Test Automation
Maximilian JunkerJunker, Maximilian Qualicen GmbH SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
René JustJust, René University of Washington, USA Testing Tools Track Chair in Organizing Committee for ICST 2020 Session Chair of Testing tools (part of ICST Testing Tools Track) Session Chair of Testing tools (part of ICST Testing Tools Track) Committee Member in Program Committee within the ICST Research Papers-track Testing Tools Track Chair in Program Chairs within the ICST Testing Tools Track-track
Emil Jørgensen NjorJørgensen Njor, Emil Aalborg UniversityDenmark Conformance Testing in UPPAAL: A diabolic approach
Misael JúniorJúnior, Misael University of Sao Paulo (USP)Brazil Committee Member in Student Volunteers for ICST 2020 Automated verification of compliance of non-functional requirements on mobile applications through metamorphic testing
K Raghu KackerKacker, Raghu National Institute of Standards and TechnologyUnited States Combinatorial Methods for Explainable AI CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays
Kazuki KakimotoKakimoto, Kazuki Nara Institute of Science and TechnologyJapan Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
Gregory KapfhammerKapfhammer, Gregory Allegheny College, USAUnited States STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases Programme Committee in Program Committee within the ICST Testing Tools Track-track
Stefan KarlssonKarlsson, Stefan ABB AB, Mälardalen UniversitySweden QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Masafumi KatahiraKatahira, Masafumi Japan Aerospace Exploration AgencyJapan Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
Alexandre KazmierowskiKazmierowski, Alexandre Thales SIX GTSFrance Poster: Agent-based Testing of Extended Reality Systems
Peter KehrenKehren, Peter Research Group Software Construction RWTH Aachen UniversityGermany Test Automation Challenges for Application Landscape Frameworks
Martin KelloggKellogg, Martin University of Washington, SeattleUnited States Programme Committee in Program Committee within the ICST Testing Tools Track-track
Muhammad Uzair KhanKhan, Muhammad Uzair National University of Computer and Emerging SciencesPakistan CDST: A Toolkit for Testing Cockpit Display Systems
Ferhat KhendekKhendek, Ferhat Concordia University Regression Test Suite Reduction for Cloud Systems
Rachid KherraziKherrazi, Rachid Akka TechnologiesNetherlands Using tabular notation to support Model Based Testing
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at Austin, USA Committee Member in Program Committee within the ICST Research Papers-track
Fitsum KifetewKifetew, Fitsum Fondazione Bruno KesslerItaly Poster: Agent-based Testing of Extended Reality Systems A Framework for In-Vivo Testing of Mobile Applications
Christian KingKing, Christian FZI Programme Committee in Program Committee within the ICST Industry Track-track
Jason KingKing, Jason North Carolina State UniversityUnited States Integrating Testing Throughout the CS Curriculum
Hiroyuki KirinukiKirinuki, Hiroyuki NTTJapan Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization User-Friendly Input Assistance with Web Crawling for Test Script Generation
Tomoji KishiKishi, Tomoji Waseda UniversityJapan Toward an Encoding Approach to Interaction-based Test Suite Minimization
Takashi KitamuraKitamura, Takashi National Institute of Advanced Industrial Science and Technology (AIST)Japan Toward an Encoding Approach to Interaction-based Test Suite Minimization
Jacques KleinKlein, Jacques University of Luxembourg, LuxembourgLuxembourg Posters Co-Chair in Organizing Committee for ICST 2020 Session Chair of Teasers (part of ICST Posters Track) Session Chair of Teasers (part of ICST Posters Track) Posters Co-Chair in Program Chairs within the ICST Posters Track-track
Kristoffer KleineKleine, Kristoffer SBA ResearchAustria CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays
Petar KosticKostic, Petar Utrecht UniversityNetherlands Can Learning Formal Specification Be Fun? - Experience and Perspective
Emily KowalczykKowalczyk, Emily Apple Inc. Programme Committee in Program Committee within the ICST Industry Track-track
Daniel KrausKraus, Daniel ReTest GmbHGermany Session-Based Recommender Systems for Action Selection in GUI Test Generation
Stefan KrausKraus, Stefan Friedrich-Alexander University Erlangen-NürnbergGermany Language-Agnostic Generation of Compilable Test Programs
Patrick KreutzerKreutzer, Patrick Friedrich-Alexander University Erlangen-NürnbergGermany Language-Agnostic Generation of Compilable Test Programs
Jens KrinkeKrinke, Jens University College LondonUnited Kingdom Workshops Co-Chair in Organizing Committee for ICST 2020 Workshop Chair in Program Chairs within the ICST Workshops-track
Peter M. KruseKruse, Peter M. Expleo GroupGermany Test Design with the Classification Tree Method in Presence of Variants Runtime Prioritization with the Classification Tree Method for Test Automation Programme Committee in Program Committee within the NEXTA-track Committee Member in Organizing Committee within the ToCaMS-track
Rick KuhnKuhn, Rick Natl Institute of Standards & TechnologyUnited States Combinatorial Methods for Explainable AI CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays
Ippei KumagawaKumagawa, Ippei NTT DataJapan Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization
Toshiyuki KurabayashiKurabayashi, Toshiyuki NTTJapan Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization User-Friendly Input Assistance with Web Crawling for Test Script Generation
Sandeep KuttalKuttal, Sandeep The University of TulsaUnited States Testing software: Challenges and hardships of non-traditional testers
L Yvan LabicheLabiche, Yvan Carleton University PC Member in Program Committee within the ITEQS-track Committee Member in Program Committee within the ICST Doctoral Symposium-track
Sebastien LafondLafond, Sebastien Åbo Akademi UniversityFinland Automatic exploratory performance testing using a discriminator neural network
Leen LambersLambers, Leen Hasso-Plattner-Institut, Universität Potsdam Germany Model-Based Testing of Read Only Graph Queries How to Teach Software Testing? Experiences with a Sandwich Approach
Jason LanderLander, Jason GamewareUnited Kingdom Poster: Agent-based Testing of Extended Reality Systems
Thomas LaurentLaurent, Thomas Lero & University College DublinIreland Committee Member in Student Volunteers for ICST 2020 On the impact of timeouts and JVM crashes in Pitest
Claire Le GouesLe Goues, Claire Carnegie Mellon UniversityUnited States A Study on Challenges of Testing Robotic Systems
Yves Le TraonLe Traon, Yves University of Luxembourg, LuxembourgLuxembourg Committee Member in Program Committee within the ICST Research Papers-track
Craig LeekLeek, Craig Utrecht University Can Learning Formal Specification Be Fun? - Experience and Perspective
Raluca LefticaruLefticaru, Raluca University of BradfordUnited Kingdom Session Chair of Session III (part of A-MOST) Co-chair in Organizing Committee within the A-MOST-track Co-chair in Program Committee within the A-MOST-track
Bruno LegeardLegeard, Bruno FEMTO-ST / DISCFrance Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance Best Paper Supporting efficient test automation using lightweight MBT Tool Support for Refactoring Manual Tests Committee Member in Program Committee within the ICST Tool Demos Track-track Committee Member in Program Committee within the A-MOST-track Committee Member in Program Committee within the ICST Research Papers-track
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Prioritizing Runtime Verification Violations Programme Committee in Program Committee within the ICST Industry Track-track
Jeff LeiLei, Jeff University of Texas at ArlingtonUnited States Welcome to IWCT Combinatorial Methods for Explainable AI Program Co-Chair in Organizing Committee within the IWCT-track
Maurizio LeottaLeotta, Maurizio Università di GenovaItaly A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development Programme Committee in Program Committee within the NEXTA-track
Julien LeveauLeveau, Julien LaBRIFrance Fostering the Diversity of Exploratory Testing in Web Applications
Boyang LiLi, Boyang LinkedIn Programme Committee in Program Committee within the ICST Industry Track-track Committee Member in Program Committee within the ICST Industry Track-track
Keqin LiLi, Keqin AIIT, Peking UniversityChina Programme Committee in Program Committee within the ICST Industry Track-track
Xiangyu LiLi, Xiangyu Georgia Institute of TechnologyUnited States More Accurate Dynamic Slicing for Better Supporting Software Debugging
Yihao LiLi, Yihao Institute of Technology, Graz University of TechnologyAustria On Using Ontologies for Testing Compilers Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
Horst LichterLichter, Horst RWTH Aachen UniversityGermany Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing A Comparison Infrastructure for Fault Characterization Algorithms Test Automation Challenges for Application Landscape Frameworks
Bruno LimaLima, Bruno Faculty of Engineering, University of Porto and INESC TECPortugal Local Organization Chair in Organizing Committee for ICST 2020
Igor LimaLima, Igor Federal University of PernambucoBrazil Prioritizing Runtime Verification Violations
Birgitta LindströmLindström, Birgitta Welcome Program Co-Chair in Organizing Committee within the TestEd-track
Bjorn LisperLisper, Bjorn Mälardalen UniversitySweden Poster: Performance Testing Driven by Reinforcement Learning PC Member in Program Committee within the ITEQS-track
Peng LiuLiu, Peng Google Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms
David LoLo, David Singapore Management UniversitySingapore Posters Co-Chair in Organizing Committee for ICST 2020 Session Chair of Teasers (part of ICST Posters Track) Session Chair of Teasers (part of ICST Posters Track) Committee Member in Program Committee within the ICST Research Papers-track Posters Co-Chair in Program Chairs within the ICST Posters Track-track
Florian LorberLorber, Florian Aalborg UniversityDenmark Session Chair of Session IV (part of A-MOST) Conformance Testing in UPPAAL: A diabolic approach Committee Member in Program Committee within the A-MOST-track
M Sarita M. BruschiM. Bruschi, Sarita University of São Paulo - USPBrazil Performance Evaluation of Container's Shared Volumes
Jie M. ZhangM. Zhang, Jie University College London, UKUnited Kingdom Program Co-Chair in Organizing Committee within the Mutation-track
Tao MaMa, Tao Simula Research Laboratory Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems
Mateusz MachalicaMachalica, Mateusz Facebook, Inc.United States Programme Committee in Program Committee within the ICST Industry Track-track
Shahid MahmoodMahmood, Shahid Coventry University United Kingdom A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
Phu X. MaiMai, Phu X. University of LuxembourgLuxembourg Metamorphic Security Testing for Web Systems
Bogdan MarculescuMarculescu, Bogdan Kristiania University College, Norway EvoMaster: Search-Based System Test Generation for RESTful APIs
Alexandru MargineanMarginean, Alexandru University College London, UKUnited Kingdom Committee Member in Program Committee within the ICST Tool Demos Track-track
Leonardo MarianiMariani, Leonardo University of Milano BicoccaItaly CBR: Controlled Burst Recording A Framework for In-Vivo Testing of Mobile Applications Committee Member in Program Committee within the ICST Research Papers-track
Wes MasriMasri, Wes American University of BeirutLebanon Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study
Satoshi MasudaMasuda, Satoshi Complex Software Testing Analysis using International Standards General Co-Chair in Organizing Committee within the InSTA-track
Phil McMinnMcMinn, Phil University of SheffieldUnited Kingdom STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases Committee Member in Program Committee within the ICST Research Papers-track
Ibéria MedeirosMedeiros, Ibéria LaSIGE, Faculdade de Ciências da Universidade de LisboaPortugal Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants Generating Tests for the Discovery of Security Flaws in Product Variants
Wilhelm MedingMeding, Wilhelm EricssonSweden Selective Regression Testing based on Big Data: Comparing Feature Extraction Techniques
Karl MeinkeMeinke, Karl The Royal Institute of TechnologySweden Programme Committee in Program Committee within the NEXTA-track
Atif MemonMemon, Atif Apple Inc.United States Steering Committee Member in Steering Committee for ICST 2020 Committee Member in Program Committee within the ICST Doctoral Symposium-track
Mercedes MerayoMerayo, Mercedes Universidad Complutense de MadridSpain Committee Member in Program Committee within the A-MOST-track
Ali MesbahMesbah, Ali University of British ColumbiaCanada Workshops Co-Chair in Organizing Committee for ICST 2020 Workshop Chair in Program Chairs within the ICST Workshops-track
Mark MicallefMicallef, Mark University of MaltaMalta Test Tools: an illusion of usability?
John MiccoMicco, John VMwareUnited States Industry Track Co-Chair in Organizing Committee for ICST 2020 Steering Committee Member in Steering Committee for ICST 2020 Session Chair of IT1 - Test Generation & Refactoring (part of ICST Industry Track) Industry Track Chair in Program Chairs within the ICST Industry Track-track Organizing Committee in Organizing Committee within the CCIW-track
Daniela MicucciMicucci, Daniela University of Milano BicoccaItaly CBR: Controlled Burst Recording
Miguel Sotto-Mayor de Castro Machado, Bruno Committee Member in Student Volunteers for ICST 2020
Breno MirandaMiranda, Breno Federal University of PernambucoBrazil Prioritizing Runtime Verification Violations Run Java Applications and Test Them In-Vivo Meantime
Raffaela MirandolaMirandola, Raffaela Politecnico di Milano Italy Model-Based Testing for MAPE-K adaptation control loops
Masashi MizoguchiMizoguchi, Masashi Hitachi Ltd.Japan Optimization of automated executions based on integration test configurations of embedded software
Mahshid Helali MoghadamMoghadam, Mahshid Helali RISE Research Institutes of Sweden Sweden Poster: Performance Testing Driven by Reinforcement Learning
Shouvick MondalMondal, Shouvick IIT Madras, IndiaIndia Mahtab: Phase-wise acceleration of regression testing for C
Nuno MonizMoniz, Nuno Department of Computer Science, University of PortoPortugal Sequence Mining for Automatic Generation of Software Tests from GUI event traces
Allan MoriMori, Allan Committee Member in Student Volunteers for ICST 2020
Allan MoriMori, Allan University of São Paulo - USPBrazil Anomaly Analyses to Guide Software Testing Activity
Silvana Morita MeloMorita Melo, Silvana Towards a unified catalog of attributes to guide industry in software testing technique selection
Brendan MurphyMurphy, Brendan Programme Committee in Program Committee within the ICST Industry Track-track
András MárkiMárki, András Web Chair in Organizing Committee within the TestEd-track
Mika MäntyläMäntylä, Mika University of OuluFinland Test Automation Process Improvement in a DevOps Team: Experience report Programme Committee in Program Committee within the NEXTA-track
Anders MøllerMøller, Anders Aarhus University, Denmark NodeRacer: Event Race Detection for Node.js Applications
N Nachiappan NagappanNagappan, Nachiappan Microsoft Research, USA Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista
Tadayoshi NakaoNakao, Tadayoshi Nomura Research Institute, Ltd. TokyoJapan Selenium based Testing Systems for Analytical Data Generation of Website User Behavior
Rupesh NasreNasre, Rupesh IIT Madras, India Mahtab: Phase-wise acceleration of regression testing for C
Michel NassNass, Michel Blekinge Institute of TechnologySweden Augmented Testing using Scout On the Industrial Applicability of Augmented Testing: An Empirical Study
David NavarreNavarre, David ICS-IRIT, Université Toulouse III Paul SabatierFrance Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets
Varun NayakNayak, Varun ReTest GmbHGermany Session-Based Recommender Systems for Action Selection in GUI Test Generation
Iulian NeamtiuNeamtiu, Iulian New Jersey Institute of Technology, USA Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms
Shiva NejatiNejati, Shiva University of LuxembourgLuxembourg Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
Nuno NevesNeves, Nuno DI FC ULPortugal Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants Generating Tests for the Discovery of Security Flaws in Product Variants
Hoang Nga NguyenNga Nguyen, Hoang Coventry University United Kingdom A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
Bao N. NguyenNguyen, Bao N. United States Organizing Committee in Organizing Committee within the CCIW-track
Mihai NicaNica, Mihai On Using k-means Clustering for Test Suite Reduction
Dejan NickovicNickovic, Dejan Austrian Institute of Technology Committee Member in Program Committee within the A-MOST-track
Changhai NieNie, Changhai Welcome to IWCT
Changhai NieNie, Changhai Nanjing University Program Co-Chair in Organizing Committee within the IWCT-track
Brian NielsenNielsen, Brian Aalborg University, Denmark PC Member in Program Committee within the ITEQS-track
Hidekazu NiiboriNiibori, Hidekazu Recruit Sumai Company Ltd, Tokyo Selenium based Testing Systems for Analytical Data Generation of Website User Behavior
Yasuharu NishiNishi, Yasuharu University of Electro-Communications, TokyoJapan An Integrated Metamodel of Test Scenario to Conform Automotive Standards Complex Software Testing Analysis using International Standards General Co-Chair in Organizing Committee within the InSTA-track
Kohei NishinoNishino, Kohei Waseda UniversityJapan Toward an Encoding Approach to Interaction-based Test Suite Minimization
Sunder NochilurNochilur, Sunder Accenture Solutions Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
Shimpei NomuraNomura, Shimpei Recruit Sumai Company Ltd, TokyoJapan Selenium based Testing Systems for Analytical Data Generation of Website User Behavior
Dirk NowotkaNowotka, Dirk Christian-Albrechts-Universität zu Kiel EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Luís NunesNunes, Luís ISTAR - Information Sciences and Technologies and Architecture Research CenterPortugal Automated security testing of Android applications for secure mobile development
O Miroslaw OchodekOchodek, Miroslaw Poznan University of TechnologyPoland Selective Regression Testing based on Big Data: Comparing Feature Extraction Techniques
Tomohiro OdanOdan, Tomohiro Mamezou Co.,Ltd. Shinjuku-ku, TokyoJapan Techniques to Reach Common Ground about Test Aspect within a Test Team
Jeff OffuttOffutt, Jeff George Mason UniversityUnited States SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing Welcome Panel 2: How to get your paper rejected? An Empirical Analysis of Blind Tests PC Member in Program Committee within the ITEQS-track Program Co-Chair in Organizing Committee within the TestEd-track
Magnus C OhlssonOhlsson, Magnus C System VerificationSweden Programme Committee in Program Committee within the NEXTA-track
Alberto OliveiraOliveira, Alberto Sequence Mining for Automatic Generation of Software Tests from GUI event traces
João OliveiraOliveira, João ISTAR - Information Sciences and Technologies and Architecture Research CenterPortugal Automated security testing of Android applications for secure mobile development
Roan OosenbrugOosenbrug, Roan Utrecht University Can Learning Formal Specification Be Fun? - Experience and Perspective
Matteo OrruOrru, Matteo University of Milano BicoccaItaly A Framework for In-Vivo Testing of Mobile Applications
Alessandro OrsoOrso, Alessandro Georgia TechUnited States More Accurate Dynamic Slicing for Better Supporting Software Debugging
Norbert OsterOster, Norbert MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests
P Ciprian PaduraruPaduraru, Ciprian University of Bucharest Romania Optimizing decision making in concolic execution using reinforcement learning
Ana PaivaPaiva, Ana Faculty of Engineering of the University of PortoPortugal Doctoral Symposium Co-Chair in Organizing Committee for ICST 2020 Steering Committee Member in Steering Committee for ICST 2020 Session Chair of Doctoral Symposium 3 (part of ICST Doctoral Symposium) Session Chair of Doctoral Symposium 2 (part of ICST Doctoral Symposium) Session Chair of Doctoral Symposium 1 (part of ICST Doctoral Symposium) Sequence Mining for Automatic Generation of Software Tests from GUI event traces Keynote: Why models? Committee Member in Program Committee within the A-MOST-track Doctoral Symposium Chair in Program Chairs within the ICST Doctoral Symposium-track Committee Member in Program Committee within the ICST Research Papers-track
Philippe PalanquePalanque, Philippe ICS-IRIT, Université Toulouse III Paul SabatierFrance Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets
Francisco PalmaPalma, Francisco ISTAR - Information Sciences and Technologies and Architecture Research CenterPortugal Automated security testing of Android applications for secure mobile development
Minxue PanPan, Minxue Nanjing University, ChinaChina Committee Member in Program Committee within the ICST Tool Demos Track-track
Annibale PanichellaPanichella, Annibale Delft University of TechnologyNetherlands Committee Member in Program Committee within the ICST Research Papers-track
Sebastiano PanichellaPanichella, Sebastiano Zurich University of Applied SciencesSwitzerland Committee Member in Program Committee within the ICST Research Papers-track
Ralf PannemansPannemans, Ralf SAPGermany Determining Method-Call Sequences for Object Creation in C++
Mike PapadakisPapadakis, Mike University of Luxembourg, LuxembourgLuxembourg Steering Committee Member in Steering Committee for ICST 2020 Keynote Empirical evaluation of mutation-based test case prioritization techniques Committee Member in Program Committee within the ICST Research Papers-track
Myunghwan ParkPark, Myunghwan Korea Air Force AcademySouth Korea Poster: Test Case Prioritization Using Error Propagation Probability
Ali ParsaiParsai, Ali University of AntwerpBelgium Programme Committee in Program Committee within the ICST Testing Tools Track-track
Corina S PasareanuPasareanu, Corina S Carnegie Mellon University Silicon Valley, NASA Ames Research Center Program Chair in Organizing Committee for ICST 2020 Committee Member in Program Committee within the ICST Research Papers-track Program Chair in Program Chairs within the ICST Research Papers-track
Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Session Chair of RT7 - Optimizing Testing (part of ICST Research Papers) Session Chair of RT4 - Misc 1 (part of ICST Research Papers) Session Chair of RT9 - Empirical Analysis and Program Repair (part of ICST Research Papers) Session Chair of RT2 - Test Generation Infante (part of ICST Research Papers) Session Chair of RT9 - Empirical Analysis and Program Repair (part of ICST Research Papers)
Fabrizio PastorePastore, Fabrizio University of LuxembourgLuxembourg Metamorphic Security Testing for Web Systems PC Member in Program Committee within the ITEQS-track
Saketan PatilPatil, Saketan New Jersey Institute of TechnologyUnited States Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms
John PenixPenix, John GoogleUnited States Committee Member in Program Committee within the ICST Industry Track-track
Alexandre PetrenkoPetrenko, Alexandre CRIMCanada Committee Member in Program Committee within the A-MOST-track
Goran PetrovićPetrović, Goran GoogleCroatia Programme Committee in Program Committee within the ICST Testing Tools Track-track
Fabien PeureuxPeureux, Fabien Institut FEMTO-ST (UMR CNRS 6174) and Smartesting S&SFrance Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance Best Paper A Case-based Approach for introducing Testing Tools and Principles
Dietmar PfahlPfahl, Dietmar University of TartuEstonia Predicting Survived and Killed Mutants
Van-Thuan PhamPham, Van-Thuan Monash UniversityAustralia Human-In-The-Loop Automatic Program Repair AFLNet: A Greybox Fuzzer for Network Protocols
Michael PhilippsenPhilippsen, Michael Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests Language-Agnostic Generation of Compilable Test Programs
Marco PistoiaPistoia, Marco JPMorgan Chase & CoUnited States Industry Track Co-Chair in Organizing Committee for ICST 2020 Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms Industry Track Chair in Program Chairs within the ICST Industry Track-track
Rowland PittsPitts, Rowland Incorporating Testing Topics in an Object-Oriented Programming Course
Alessandro V. PizzoletoPizzoleto, Alessandro V. Federal University of Sao CarlosBrazil SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing
Andy PodgurskiPodgurski, Andy Case Western University Steering Committee Member in Steering Committee for ICST 2020 Committee Member in Program Committee within the ICST Research Papers-track
Marina PolishchukPolishchuk, Marina Microsoft Research, USA Checking Security Properties of Cloud Service REST APIs
Ivan PorresPorres, Ivan Åbo Akademi UniversityFinland Automatic exploratory performance testing using a discriminator neural network
Adam PorterPorter, Adam University of Maryland Committee Member in Program Committee within the ICST Research Papers-track
Chris PorterPorter, Chris Test Tools: an illusion of usability?
Pasqualina PotenaPotena, Pasqualina RISE Research Institutes of Sweden ABSweden Session Chair of Welcome + Session: Process Improvement (part of NEXTA) Program Co-Chair in Organizing Committee within the NEXTA-track
Rui PradaPrada, Rui Universidade de LisboaPortugal Poster: Agent-based Testing of Extended Reality Systems
Upsorn PraphamontripongPraphamontripong, Upsorn Computer Science, University of Virginia, CharlottesvilleUnited States A Preliminary Report on Hands-On and Cross-Course Activities in a College Software Testing Course
Wishnu PrasetyaPrasetya, Wishnu Utrecht UniversityNetherlands Can Learning Formal Specification Be Fun? - Experience and Perspective Poster: Agent-based Testing of Extended Reality Systems
Christian R. PrausePrause, Christian R. German Aerospace Center - Space AdministrationGermany Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation
Alexander PretschnerPretschner, Alexander Technical University of MunichGermany Can We Predict the Quality of Spectrum-based Fault Localization?
Sebastian ProkschProksch, Sebastian Delft University of Technology, NetherlandsNetherlands Programme Committee in Program Committee within the ICST Industry Track-track
Maaret PyhäjärviPyhäjärvi, Maaret F-SecureFinland Test Automation Process Improvement in a DevOps Team: Experience report
R Cleber R. Rosa JuniorR. Rosa Junior, Cleber Red Hat, Inc.United States Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application
Ajitha RajanRajan, Ajitha University of EdinburghUnited Kingdom Programme Committee in Program Committee within the ICST Testing Tools Track-track
Rudolf RamlerRamler, Rudolf Software Competence Center Hagenberg Predicting Survived and Killed Mutants
Abdul RaufRauf, Abdul RISE Research Institutes of SwedenSweden Keywords-based test categorization for Extra-Functional Properties
Baishakhi RayRay, Baishakhi Columbia University, USAUnited States Committee Member in Program Committee within the ICST Research Papers-track
Nuno RealistaRealista, Nuno ISTAR - Information Sciences and Technologies and Architecture Research CenterPortugal Automated security testing of Android applications for secure mobile development
Sebastian Reidar PetersenReidar Petersen, Sebastian Aalborg UniversityDenmark Conformance Testing in UPPAAL: A diabolic approach
Sofia ReisReis, Sofia Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Local Organization Chair in Organizing Committee for ICST 2020
Hergys RexhaRexha, Hergys Åbo Akademi UniversityFinland Automatic exploratory performance testing using a discriminator neural network
Francisco RibeiroRibeiro, Francisco Committee Member in Student Volunteers for ICST 2020
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
Filippo RiccaRicca, Filippo Università di GenovaItaly Dependency-Aware Web Test Generation A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development
Elvinia RiccobeneRiccobene, Elvinia Computer Science Dept., University of MilanItaly Model-Based Testing for MAPE-K adaptation control loops
Jan RichterRichter, Jan Czech Technical University in Prague Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application
António Rito SilvaRito Silva, António IST, University of Lisbon Student Volunteer Co-Chair in Organizing Committee for ICST 2020
Ryan RitzoRitzo, Ryan Computer Science, University of Virginia, CharlottesvilleUnited States A Preliminary Report on Hands-On and Cross-Course Activities in a College Software Testing Course
José Miguel RojasRojas, José Miguel University of Leicester, UKUnited Kingdom Session Chair of RT5 - Testing for APIs (part of ICST Research Papers) Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements Committee Member in Program Committee within the ICST Research Papers-track Programme Committee in Program Committee within the ICST Industry Track-track Programme Committee in Program Committee within the ICST Testing Tools Track-track
Romain RouvoyRouvoy, Romain Univ. Lille / Inria / IUFFrance Fostering the Diversity of Exploratory Testing in Web Applications
Abhik RoychoudhuryRoychoudhury, Abhik National University of Singapore, Singapore AFLNet: A Greybox Fuzzer for Network Protocols Committee Member in Program Committee within the ICST Research Papers-track
Karol RástočnýRástočný, Karol Faculty of Informatics and Information Technologies, Slovak University of Technology in BratislavaSlovakia Test Data Generation for MC/DC Criterion using Reinforcement Learning
Laurent RéveillèreRéveillère, Laurent LaBRIFrance Fostering the Diversity of Exploratory Testing in Web Applications
S Bestoun S. AhmedS. Ahmed, Bestoun Karlstad UniversitySweden An Automated Testing Framework For Smart TV apps Based on Model Separation Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing PC Member in Program Committee within the ITEQS-track
Mehrdad SaadatmandSaadatmand, Mehrdad RISE Research Institutes of SwedenSweden Session Chair of Session I (part of ITEQS) Keywords-based test categorization for Extra-Functional Properties Poster: Performance Testing Driven by Reinforcement Learning Chair in Organizing Committee within the ITEQS-track Committee Member in Organizing Committee within the ToCaMS-track
Goiuria SagarduiSagardui, Goiuria University of Mondragon Spain A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements Panel 1: From research to industry
Mohamed Aymen SaiedSaied, Mohamed Aymen Concordia University Regression Test Suite Reduction for Cloud Systems
Daniel S. M. SantibáñezSantibáñez, Daniel S. M. Federal University of São CarlosBrazil Fault Types of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing Approaches
Italo SantosSantos, Italo University of São PauloBrazil Committee Member in Student Volunteers for ICST 2020 Towards a unified catalog of attributes to guide industry in software testing technique selection
Hassan SartajSartaj, Hassan QUEST - UAV Dependability LabPakistan CDST: A Toolkit for Testing Cockpit Display Systems
Akiharu SatohSatoh, Akiharu NPO ASTER Minato-ku, TokyoJapan Techniques to Reach Common Ground about Test Aspect within a Test Team
Patrizia ScandurraScandurra, Patrizia University of Bergamo, ItalyItaly Model-Based Testing for MAPE-K adaptation control loops
Holger SchlingoffSchlingoff, Holger Committee Member in Organizing Committee within the ToCaMS-track
Jessica Young SchmidtSchmidt, Jessica Young North Carolina State UniversityUnited States Integrating Testing Throughout the CS Curriculum
Vladimir SchmidtSchmidt, Vladimir Expleo Germany GmbH, BerlinGermany Test Design with the Classification Tree Method in Presence of Variants
Sven SchneiderSchneider, Sven Hasso-Plattner-Institut, Universität Potsdam Germany Model-Based Testing of Read Only Graph Queries
Sascha SchwedesSchwedes, Sascha SAP SE Detecting Higher-Order Merge Conflicts in Large Software Projects
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden PC Chair in Program Committee within the ITEQS-track
Koushik SenSen, Koushik University of California, BerkeleyUnited States Committee Member in Program Committee within the ICST Research Papers-track
Carlos SerrãoSerrão, Carlos ISTAR - Information Sciences and Technologies and Architecture Research CenterPortugal Automated security testing of Android applications for secure mobile development
Utsav ShahShah, Utsav Dropbox Athena: Keeping the build stable automatically
Siraj Ahmed ShaikhShaikh, Siraj Ahmed Coventry University, Coventry, UKUnited Kingdom A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
Sina ShamshiriShamshiri, Sina University of Sheffield & SpotQAUnited Kingdom Programme Committee in Program Committee within the ICST Industry Track-track
Eric SharidanSharidan, Eric WhiteHat Security Quick and Precise Security Testing During Development with Intelligence-Directed DAST
David C. ShepherdShepherd, David C. Virginia Commonwealth UniversityUnited States Committee Member in Program Committee within the ICST Research Papers-track
August ShiShi, August The University of Texas at AustinUnited States Programme Committee in Program Committee within the ICST Industry Track-track
Donghwan ShinShin, Donghwan University of LuxembourgLuxembourg Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study Empirical evaluation of mutation-based test case prioritization techniques
Li ShiyingxueShiyingxue, Li Recruit Sumai Company Ltd, TokyoJapan Selenium based Testing Systems for Analytical Data Generation of Website User Behavior
Ulka ShrotriShrotri, Ulka Tata Consultancy Services Ltd. (TCS) Scaling Test Case Generation For Expressive Decision Tables
Dimitris SimosSimos, Dimitris SBA ResearchAustria Welcome to IWCT Combinatorial Methods for Explainable AI CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays General Chair in Organizing Committee within the IWCT-track
Bento Rafael SiqueiraSiqueira, Bento Rafael Federal University of São Carlos Fault Types of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing Approaches
Kathiani E. SouzaSouza, Kathiani E. Federal University of São CarlosBrazil Fault Types of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing Approaches
Hasan SozerSozer, Hasan Prioritization of Test Cases with Varying Test Costs and Fault Severities for Certification Testing
Dominik SpiesSpies, Dominik Qualicen GmbH SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
Sara SprenkleSprenkle, Sara Washington & Lee UniversityUnited States Committee Member in Program Committee within the ICST Research Papers-track
Matt StaatsStaats, Matt Google Programme Committee in Program Committee within the ICST Industry Track-track
Andreas StahlbauerStahlbauer, Andreas University of PassauGermany Programme Committee in Program Committee within the ICST Testing Tools Track-track
Miroslaw StaronStaron, Miroslaw University of GothenburgSweden Selective Regression Testing based on Big Data: Comparing Feature Extraction Techniques
Alin StefanescuStefanescu, Alin University of Bucharest Romania Session Chair of RT8 - Misc 2 (part of ICST Research Papers) Optimizing decision making in concolic execution using reinforcement learning Committee Member in Program Committee within the ICST Research Papers-track
Andrea StoccoStocco, Andrea Università della Svizzera italiana (USI)Switzerland Session Chair of RT4 - Misc 1 (part of ICST Research Papers) Dependency-Aware Web Test Generation Committee Member in Program Committee within the ICST Research Papers-track
Paul StrooperStrooper, Paul The University of Queensland Committee Member in Program Committee within the ICST Research Papers-track
Ting SuSu, Ting ETH Zurich Programme Committee in Program Committee within the ICST Industry Track-track
Hidetoshi SuharaSuhara, Hidetoshi Veriserve CorporationJapan An Integrated Metamodel of Test Scenario to Conform Automotive Standards
Weifeng SunSun, Weifeng Jiangsu UniversityChina Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing?
Daniel SundmarkSundmark, Daniel Mälardalen UniversitySweden Keywords-based test categorization for Extra-Functional Properties QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Kazuhiro SuzukiSuzuki, Kazuhiro Hitachi, Ltd. KanagawaJapan Complex Software Testing Analysis using International Standards
Stanislaw SwiercSwierc, Stanislaw Facebook Test flakiness reduction of retry reduction? Why not have both?
Attila SzatmáriSzatmári, Attila Committee Member in Student Volunteers for ICST 2020
T Shingo TakadaTakada, Shingo Keio University, Japan Publicity Co-Chair in Organizing Committee for ICST 2020
Toshinori TakaiTakai, Toshinori Nara Institute of Science and TechnologyJapan Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
Takamasa TanakaTanaka, Takamasa Recruit Sumai Company Ltd, TokyoJapan Selenium based Testing Systems for Analytical Data Generation of Website User Behavior
Haruto TannoTanno, Haruto NTTJapan Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization User-Friendly Input Assistance with Web Crawling for Test Script Generation Quick and Precise Security Testing During Development with Intelligence-Directed DAST
Christopher Steven TimperleyTimperley, Christopher Steven Carnegie Mellon UniversityUnited States A Study on Challenges of Testing Robotic Systems
Maria ToeroeToeroe, Maria Ericsson Inc, MontrealCanada Regression Test Suite Reduction for Cloud Systems
Paolo TonellaTonella, Paolo Università della Svizzera Italiana (USI)Switzerland Dependency-Aware Web Test Generation An Empirical Evaluation of Mutation Operators for Deep Learning Systems Run Java Applications and Test Them In-Vivo Meantime A Framework for In-Vivo Testing of Mobile Applications A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development Committee Member in Program Committee within the ICST Research Papers-track
Marco TorchianoTorchiano, Marco Politecnico di TorinoItaly Translation from Visual to Layout-based Android Test Cases: a Proof of Concept
Alejandra Duque TorresTorres, Alejandra Duque Institute of Computer Science, University of TartuEstonia Predicting Survived and Killed Mutants
Dave ToweyTowey, Dave University of Nottingham Ningbo ChinaChina Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing?
Chadi TradTrad, Chadi American University of BeirutLebanon Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study
Johannes TraubTraub, Johannes Daimler AG EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Fabian TrautschTrautsch, Fabian University of Göttingen Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects
Dragos TruscanTruscan, Dragos Åbo Akademi UniversityFinland Session Chair of Session III (part of ITEQS) Automatic exploratory performance testing using a discriminator neural network Co-chair in Organizing Committee within the ITEQS-track
Kazuhiko TsudaTsuda, Kazuhiko University of Tsukuba TokyoJapan Selenium based Testing Systems for Analytical Data Generation of Website User Behavior
Mitsuaki TsujiTsuji, Mitsuaki Nara Institute of Science and TechnologyJapan Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
U Sakshi UdeshiUdeshi, Sakshi Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems
Fitash Ul HaqUl Haq, Fitash University of LuxembourgLuxembourg Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
Mark UttingUtting, Mark University of the Sunshine Coast Tool Support for Refactoring Manual Tests Committee Member in Program Committee within the ICST Research Papers-track
V Mahsa VarshosazVarshosaz, Mahsa IT University of Copenhagen, DenmarkDenmark PC Member in Program Committee within the ITEQS-track
Carmine VassalloVassallo, Carmine University of Zurich, SwitzerlandSwitzerland Programme Committee in Program Committee within the ICST Industry Track-track
Mahesh VenkataramanVenkataraman, Mahesh Accenture Solutions Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
R VenkateshVenkatesh, R Tata Consultancy Services Ltd. (TCS) Scaling Test Case Generation For Expressive Decision Tables
Anthony VentresqueVentresque, Anthony Lero and University College DublinIreland On the impact of timeouts and JVM crashes in Pitest
Oscar Luis Vera PérezVera Pérez, Oscar Luis INRIA Programme Committee in Program Committee within the ICST Testing Tools Track-track
Sagar VermaVerma, Sagar Tata Consultancy Services Ltd. (TCS) Scaling Test Case Generation For Expressive Decision Tables
Alexandre VernotteVernotte, Alexandre Femto-ST InstituteFrance Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance Best Paper
Raul VidalVidal, Raul FEUP, University of Porto Sponsors Chair in Organizing Committee for ICST 2020
Emanuele ViglianisiViglianisi, Emanuele FBKItaly RESTTESTGEN: Automated Black-Box Testing of RESTful APIs
Auri VincenziVincenzi, Auri Federal University of São CarlosBrazil An Approach to Identifying Minimal and Equivalent Mutants Based on Source Code Structure
Willem VisserVisser, Willem Stellenbosch University, South AfricaSouth Africa Committee Member in Program Committee within the ICST Research Papers-track
Andreas VogelsangVogelsang, Andreas University of CologneGermany SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
Tanja E. J. VosVos, Tanja E. J. Universitat Politècnica de ValènciaNetherlands Steering Committee Member in Steering Committee for ICST 2020 Poster: Agent-based Testing of Extended Reality Systems Programme Committee in Program Committee within the NEXTA-track Committee Member in Organizing Committee within the INTUITESTBEDS-track Committee Member in Program Committee within the ICST Research Papers-track
Mike de VriesVries, Mike de Utrecht UniversityNetherlands Can Learning Formal Specification Be Fun? - Experience and Perspective
W Michael WagnerWagner, Michael SBA ResearchAustria CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays
Neil WalkinshawWalkinshaw, Neil The University of LeicesterUnited Kingdom Committee Member in Program Committee within the ICST Research Papers-track
Fionnuala WallWall, Fionnuala Lero and University College DublinIreland On the impact of timeouts and JVM crashes in Pitest
Chunhui WangWang, Chunhui GoogleSwitzerland Programme Committee in Program Committee within the ICST Industry Track-track
Shuai WangWang, Shuai Testify ASNorway Committee Member in Program Committee within the ICST Doctoral Symposium-track
Yuqing WangWang, Yuqing University of OuluFinland Test Automation Process Improvement in a DevOps Team: Experience report
Andreas WehrleWehrle, Andreas Qualicen GmbH SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
Marcel WeisgutWeisgut, Marcel Hasso-Plattner-Institut, Universität Potsdam Germany Model-Based Testing of Read Only Graph Queries
Marc-Florian WendlandWendland, Marc-Florian Fraunhofer FokusGermany Programme Committee in Program Committee within the NEXTA-track
Kristian WiklundWiklund, Kristian Ericsson AB Session Chair of Session: User-Interface Testing + Closing (part of NEXTA) Program Co-Chair in Organizing Committee within the NEXTA-track
Nils WildWild, Nils Research Group Software Construction RWTH Aachen UniversityGermany Test Automation Challenges for Application Landscape Frameworks
Laurie WilliamsWilliams, Laurie North Carolina State UniversityUnited States Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista
W. Eric WongWong, W. Eric Using Mutation to Automatically Suggest Fixes for Faulty Programs
Stephen WoodWood, Stephen IBM Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms
Franz WotawaWotawa, Franz Technische Universitaet GrazAustria Publications Chair in Organizing Committee for ICST 2020 On Using k-means Clustering for Test Suite Reduction Security Testing using Artificial Intelligence Methods and Techniques On Using Ontologies for Testing Compilers Keynote: Verifying autonomous systems using ontology-based testing Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software Committee Member in Program Committee within the ICST Research Papers-track
Thorsten WuenscheWuensche, Thorsten SAP SE Detecting Higher-Order Merge Conflicts in Large Software Projects
X Tao XieXie, Tao Peking University, China Committee Member in Program Committee within the ICST Research Papers-track
Y Guowei YangYang, Guowei Texas State University Program Co-Chair in Organizing Committee within the TAIC PART-track
Xin YinYin, Xin New Jersey Institute of TechnologyUnited States Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms
Seunghoon YooYoo, Seunghoon Korea Air Force AcademySouth Korea Poster: Test Case Prioritization Using Error Propagation Probability
Shin YooYoo, Shin Korea Advanced Institute of Science and TechnologySouth Korea Steering Committee Member in Steering Committee for ICST 2020 Session Chair of Open Steering Commitee & ICST 2021 Presentation (part of ICST Research Papers) Empirical evaluation of mutation-based test case prioritization techniques
Yu YoshimuraYoshimura, Yu NTT User-Friendly Input Assistance with Web Crawling for Test Script Generation
Tingting YuYu, Tingting University of KentuckyUnited States Committee Member in Program Committee within the ICST Doctoral Symposium-track
Tao YueYue, Tao Nanjing University of Aeronautics and AstronauticsChina Tools Demo Co-Chair in Organizing Committee for ICST 2020 Session Chair of Tool Demos (part of ICST Tool Demos Track) Session Chair of Tool Demos (part of ICST Tool Demos Track) Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems Tools Demo Chair in Program Chairs within the ICST Tool Demos Track-track Committee Member in Program Committee within the ICST Research Papers-track
Z Andy ZaidmanZaidman, Andy Delft University of TechnologyNetherlands Testing Tools Track Chair in Organizing Committee for ICST 2020 Session Chair of Testing tools (part of ICST Testing Tools Track) Session Chair of Testing tools (part of ICST Testing Tools Track) Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs Committee Member in Program Committee within the ICST Research Papers-track Testing Tools Track Chair in Program Chairs within the ICST Testing Tools Track-track
Abubakar ZakariZakari, Abubakar Committee Member in Student Volunteers for ICST 2020
Shayan ZamaniZamani, Shayan Committee Member in Student Volunteers for ICST 2020
Amey ZareZare, Amey Tata Consultancy Services Ltd. (TCS) Scaling Test Case Generation For Expressive Decision Tables
Andreas ZellerZeller, Andreas CISPA, GermanyGermany Program Chair in Organizing Committee for ICST 2020 Session Chair of RT1 - Fault Localization and Debugging Infante (part of ICST Research Papers) Coding Effective Testing Tools Within Minutes – Live! Committee Member in Program Committee within the ICST Research Papers-track Program Chair in Program Chairs within the ICST Research Papers-track
Jie ZhangZhang, Jie UCL Programme Committee in Program Committee within the ICST Testing Tools Track-track
Man ZhangZhang, Man Kristiania University College, Norway EvoMaster: Search-Based System Test Generation for RESTful APIs
Chenguang ZhuZhu, Chenguang The University of Texas at AustinUnited States Programme Committee in Program Committee within the ICST Industry Track-track
Qianqian ZhuZhu, Qianqian TU DelftNetherlands Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs
Shaomin ZhuZhu, Shaomin IEEE Computer SocietyChina Programme Committee in Program Committee within the ICST Industry Track-track
Thomas ZimmermannZimmermann, Thomas Microsoft ResearchUnited States Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista
Č Ján ČegiňČegiň, Ján Faculty of Informatics and Information Technologies Slovak Technical UniversitySlovakia Test Data Generation for MC/DC Criterion using Reinforcement Learning