default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ICST Workshops 2018: Västerås, Sweden
- 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-6352-3
MUTATION 2018
- Fabiano Cutigi Ferrari, Alessandro Viola Pizzoleto, Jeff Offutt:
A Systematic Review of Cost Reduction Techniques for Mutation Testing: Preliminary Results. 1-10 - Jie Zhang
, Dan Hao, Lingming Zhang, Lu Zhang:
To Detect Abnormal Program Behaviours via Mutation Deduction. 11-17 - Rahul Gopinath, Björn Mathis, Andreas Zeller:
If You Can't Kill a Supermutant, You Have a Problem. 18-24 - Alex Denisov, Stanislav Pankevich:
Mull It Over: Mutation Testing Based on LLVM. 25-31 - Mike Papadakis, Thierry Titcheu Chekam, Yves Le Traon:
Mutant Quality Indicators. 32-39 - Duy Loc Phan, Yunho Kim, Moonzoo Kim:
MUSIC: Mutation Analysis Tool with High Configurability and Extensibility. 40-46 - Goran Petrovic, Marko Ivankovic, Bob Kurtz, Paul Ammann, René Just:
An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions. 47-53
ITEQS 2018
- Michael Felderer, Bogdan Marculescu, Francisco Gomes de Oliveira Neto, Robert Feldt, Richard Torkar:
A Testability Analysis Framework for Non-functional Properties. 54-58 - Florian Lorber, Kim G. Larsen, Brian Nielsen:
Model-Based Mutation Testing of Real-Time Systems via Model Checking. 59-68 - Birgitta Lindström, Jeff Offutt, Loreto Gonzalez-Hernandez, Sten F. Andler:
Identifying Useful Mutants to Test Time Properties. 69-76 - Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper:
Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System. 77-80 - Phi Tuong Lau:
Scan Code Injection Flaws in HTML5-Based Mobile Applications. 81-88
VVIoT 2018
- Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz:
A Framework for Threat-Driven Cyber Security Verification of IoT Systems. 89-97 - Teemu Kanstrén, Jukka Mäkelä, Pekka Karhula:
Architectures and Experiences in Testing IoT Communications. 98-103 - João Pedro Dias, Flavio Couto, Ana C. R. Paiva, Hugo Sereno Ferreira:
A Brief Overview of Existing Tools for Testing the Internet-of-Things. 104-109 - Liliana Antão, Rui Pinto, João Reis, Gil Gonçalves:
Requirements for Testing and Validating the Industrial Internet of Things. 110-115
NEXTA 2018
- Yvan Labiche:
Test Automation - Automation of What? 116-117 - Pekka Aho, Tanja E. J. Vos:
Challenges in Automated Testing Through Graphical User Interface. 118-121 - Adam Tornhill:
Assessing Technical Debt in Automated Tests with CodeScene. 122-125 - Ralf Gerlich, Christian R. Prause:
Evaluating Test Data Generation for Untyped Data Structures Using Genetic Algorithms. 126-129 - Martin Reider, Stephan Magnus, Jan Krause:
Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization. 130-137 - Vahid Garousi, Erdem Yildirim:
Introducing Automated GUI Testing and Observing Its Benefits: An Industrial Case Study in the Context of Law-Practice Management Software. 138-145 - Muneyoshi Iyama, Hiroyuki Kirinuki, Haruto Tanno, Toshiyuki Kurabayashi:
Automatically Generating Test Scripts for GUI Testing. 146-150 - Riccardo Coppola, Maurizio Morisio, Marco Torchiano:
Maintenance of Android Widget-Based GUI Testing: A Taxonomy of Test Case Modification Causes. 151-158 - Kristian Wiklund, Monika Wiklund:
The Next Level of Test Automation: What About the Users? 159-162 - Fei Deng, Feng Gao:
Design of High Confidence Embedded Software Hardware-in-Loop Simulation Test Platform Based on Hierarchical Model. 163-168 - Leonid Borodaev, Alexandru C. Telea, Rix Groenboom, Rein Smedinga:
Software Metrics for Policy-Driven Software Development Life Cycle Automation. 169-174
A-MOST 2018
- Reinhard Pröll, Bernhard Bauer:
A Model-Based Test Case Management Approach for Integrated Sets of Domain-Specific Models. 175-184 - Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
Generation of C++ Unit Tests from Abstract State Machines Specifications. 185-193 - Michal Soucha, Kirill Bogdanov:
SPYH-Method: An Improvement in Testing of Finite-State Machines. 194-203 - Thomas D. White, Gordon Fraser, Guy J. Brown:
Modelling Hand Gestures to Test Leap Motion Controlled Applications. 204-213 - Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers:
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. 214-223 - Élodie Bernard, Fabrice Ambert, Bruno Legeard, Arnaud Bouzy:
Lightweight Model-Based Testing for Enterprise IT. 224-230
InSTA 2018
- Mingang Chen, Wenjie Chen, Lizhi Cai:
Testing of Big Data Analytics Systems by Benchmark. 231-238 - Yuper Lay Myint, Hironori Washizaki, Yoshiaki Fukazawa, Hideyuki Kanuka, Hiroki Ohbayashi:
Test Case Reduction Based on the Join Condition in Pairwise Coverage-Based Database Testing. 239-243 - Armin Lunkeit, Ina Schieferdecker:
Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering. 244-251 - Jon D. Hagar:
Software Test Architectures and Advanced Support Environments for IoT. 252-256 - Marc-Florian Wendland, Niels Hoppe, Martin A. Schneider, Steven Ulrich:
Extending the UML Testing Profile with a Fine-Grained Test Logging Model. 257-266 - Makoto Nakakuki, Koki Abe, Hitoshi Ando, Shizuka Ban, Hiroki Iseri, Kumiko Iseri, Noriyuki Mizuno, Tomohiro Odan, Akiharu Satoh:
Proposal for Enhancing UTP2 with Test Aspects. 267-272 - Yasuharu Nishi, Satoshi Masuda, Hideto Ogawa, Keiji Uetsuki:
A Test Architecture for Machine Learning Product. 273-278 - Satoshi Masuda, Kohichi Ono, Toshiaki Yasue, Nobuhiro Hosokawa:
A Survey of Software Quality for Machine Learning Applications. 279-284
IWCT 2018
- Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya:
A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. 285-294 - Robert V. Binder:
Optimal Scheduling for Combinatorial Software Testing and Design of Experiments. 295-301 - Hanefi Mercan, Kamer Kaya, Cemal Yilmaz:
Enumerator: An Efficient Approach for Enumerating all Valid t-tuples. 302-305 - Saritha Route, Sudheer Pendela:
Combinatorial Test Design - A Smarter Way to Connect with the Business. 306-307 - Angelo Gargantini, Marco Radavelli:
Migrating Combinatorial Interaction Test Modeling and Generation to the Web. 308-317 - Manuel Leithner, Kristoffer Kleine, Dimitris E. Simos:
CAMETRICS: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets. 318-327 - Konrad Fögen, Horst Lichter:
Combinatorial Testing with Constraints for Negative Test Cases. 328-331 - Chek Pin Yang, Gunwant Dhadyalla, James Marco, Paul A. Jennings:
The Effect of Time-Between-Events for Sequence Interaction Testing of a Real-Time System. 332-340 - Artur Andrzejak, Thomas Bach:
Practical Amplification of Condition/Decision Test Coverage by Combinatorial Testing. 341-347 - Franz Wotawa:
Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System. 348-351 - Hermann Felbinger, Franz Wotawa, Mihai Nica:
Adapting Unit Tests by Generating Combinatorial Test Data. 352-355
TAIC PART 2018
- Haruto Tanno, Yuu Adachi:
Support for Finding Presentation Failures by Using Computer Vision Techniques. 356-363 - Rudolf Ramler, Claus Klammer, Georg Buchgeher:
Applying Automated Test Case Generation in Industry: A Retrospective. 364-369 - Franz Wotawa:
On the Automation of Testing a Logic-Based Diagnosis System. 370-373 - Thomas Bach, Ralf Pannemans, Sascha Schwedes:
Effects of an Economic Approach for Test Case Selection and Reduction for a Large Industrial Project. 374-379 - Paulo Eira, Pedro Guimaraes, Monica Melo, Miguel A. Brito, António Silva, Ricardo J. Machado:
Tailoring ISO/IEC/IEEE 29119-3 Standard for Small and Medium-Sized Enterprises. 380-389 - Hermann Kaindl, Franz Lukasch, Matthias Heigl, Sevan Kavaldjian, Christoph Luckeneder, Sebastian Rausch:
Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. 390-391 - Hirohisa Aman, Takashi Nakano, Hideto Ogasawara, Minoru Kawahara:
A Topic Model and Test History-Based Test Case Recommendation Method for Regression Testing. 392-397 - Abdulhadi Kirkici, Ceren Sahin Gebizli, Hasan Sözer:
Risk-Driven Model-Based Testing of Washing Machine Software: An Industrial Case Study. 398-403
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-12 02:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
