default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ICST Workshops 2017: Tokyo, Japan
- 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. IEEE Computer Society 2017, ISBN 978-1-5090-6676-6
The 12th Workshop on Testing: Academia-Industry Collaboration, Practice, and Research Techniques (TAIC PART 2017)
- Takashi Kitamura, Emil Alégroth, Rudolf Ramler:
Message from the TAIC PART 2017 Chairs. 1-2 - Thomas Bach, Artur Andrzejak, Ralf Pannemans:
Coverage-Based Reduction of Test Execution Time: Lessons from a Very Large Industrial Project. 3-12 - Johannes Bräuer
, Reinhold Plösch, Manuel Windhager:
Are CISQ Reliability Measures Practical? A Research Perspective. 13-22 - Ceren Sahin Gebizli, Hasan Sözer:
Impact of Education and Experience Level on the Effectiveness of Exploratory Testing: An Industrial Case Study. 23-28 - Hirohisa Aman, Takashi Nakano, Hideto Ogasawara, Minoru Kawahara:
A Test Case Recommendation Method Based on Morphological Analysis, Clustering and the Mahalanobis-Taguchi Method. 29-35 - Iulia Nica, Gerhard Jakob, Kathrin Juhart, Franz Wotawa:
Results of a Comparative Study of Code Coverage Tools in Computer Vision. 36-37 - Andrea Janes:
Test Case Generation and Prioritization: A Process-Mining Approach. 38-39 - Satoshi Masuda:
Software Testing in Industry and Academia: A View of Both Sides in Japan. 40-41 - Takashi Kitamura, Emil Alégroth, Rudolf Ramler:
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017. 42-43
1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS 2017)
- Mehrdad Saadatmand, Birgitta Lindström, Markus Bohlin:
Message from the ITEQS 2017 Chairs. 44-45 - Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad:
A Process for Sound Conformance Testing of Cyber-Physical Systems. 46-50 - Tiyash Basu, Sudipta Chattopadhyay:
Testing Cache Side-Channel Leakage. 51-60 - Nils Müllner, Saifullah Khan, Md. Habibur Rahman, Wasif Afzal, Mehrdad Saadatmand:
Simulation-Based Safety Testing Brake-by-Wire. 61-64 - Björn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand, Markus Bohlin:
Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties. 65-68 - Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark:
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. 69-76 - Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson:
Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software. 77-80 - Simon M. Poulding, Robert Feldt:
Generating Controllably Invalid and Atypical Inputs for Robustness Testing. 81-84
The 12th International Workshop on Mutation Analysis (Mutation 2017)
- Jens Krinke, Nan Li, José Miguel Rojas:
Message from the Mutation 2017 Chairs. 85-86 - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. 87-96 - Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans:
Towards Security-Aware Mutation Testing. 97-102 - Qianqian Zhu, Annibale Panichella, Andy Zaidman:
Speeding-Up Mutation Testing via Data Compression and State Infection. 103-109 - Iftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney:
Applying Mutation Analysis on Kernel Test Suites: An Experience Report. 110-115 - Mark B. Trakhtenbrot:
Mutation Patterns for Temporal Requirements of Reactive Systems. 116-121 - Rahul Gopinath, Eric Walkingshaw:
How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations. 122-127 - Chihiro Iida, Shingo Takada:
Reducing Mutants with Mutant Killable Precondition. 128-133 - Upsorn Praphamontripong, Jeff Offutt:
Finding Redundancy in Web Mutation Operators. 134-142 - Macario Polo Usaola, Gonzalo Rojas, Isyed Rodriguez, Suilen Hernandez:
An Architecture for the Development of Mutation Operators. 143-148 - Vinicius H. S. Durelli, Nilton M. De Souza, Márcio Eduardo Delamaro:
Are Deletion Mutants Easier to Identify Manually? 149-158
6th International Workshop on Combinatorial Testing (IWCT 2017)
- Dimitris E. Simos, Rachel Tzoref-Brill:
General Message from the IWCT Workshop Chairs. 159-160 - Dimitris E. Simos, Rachel Tzoref-Brill:
IWCT 2017 Organizers. 161
Test Case Generation & Quality Assessment
- D. Richard Kuhn, Raghu N. Kacker, Yu Lei:
A Model for T-Way Fault Profile Evolution during Testing. 162-170 - Hermann Felbinger, Franz Wotawa, Mihai Nica:
Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites. 171-180 - Feng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker, D. Richard Kuhn:
Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring. 181-188 - Macario Polo Usaola, Francisco Ruiz Romero, Rosana Rodriguez-Bobada Aranda, Ignacio García Rodríguez de Guzmán:
Test Case Generation with Regular Expressions and Combinatorial Techniques. 189-198
Applications of Combinatorial Testing: I
- Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li, YaXin Cao:
Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver. 199-207 - Murat Ozcan:
Applications of Practical Combinatorial Testing Methods at Siemens Industry Inc., Building Technologies Division. 208-215 - Henning Bergstrom, Eduard Paul Enoiu:
Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software. 216-219
Modelling
- Preeti Satish, Milind B., Medhini S. Narayan, Krishnan Rangarajan:
Building Combinatorial Test Input Model from Use Case Artefacts. 220-228 - Ludwig Kampel, Bernhard Garn, Dimitris E. Simos:
Combinatorial Methods for Modelling Composed Software Systems. 229-238 - Angelo Gargantini, Justyna Petke, Marco Radavelli:
Combinatorial Interaction Testing for Automated Constraint Repair. 239-248 - Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi:
A Composition-Based Method for Combinatorial Test Design. 249-252
Applications of Combinatorial Testing: II
- Jaganmohan Chandrasekaran, Huadong Feng, Yu Lei, D. Richard Kuhn, Raghu Kacker:
Applying Combinatorial Testing to Data Mining Algorithms. 253-261 - Xi Deng, Tianyong Wu, Jun Yan, Jian Zhang:
Combinatorial Testing on Implementations of HTML5 Support. 262-271 - Shaojiang Wang, Tianyong Wu, Yuan Yao, Beihong Jin, Liping Ding:
Combinatorial Testing on MP3 for Audio Players. 272-275
Poster Session
- Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Finding Minimum Locating Arrays Using a SAT Solver. 276-277 - Saritha Route:
Test Optimization Using Combinatorial Test Design: Real-World Experience in Deployment of Combinatorial Testing at Scale. 278-279
4th International Workshop on Software Test Architecture (InSTA 2017)
- Satoshi Masuda:
Messages from the InSTA 2017 Chairs. 280
Research
- Tsuyoshi Yumoto, Tohru Matsuodani, Kazuhiko Tsuda:
Analysing Test Basis and Deriving Test Cases Based on Data Design Documents. 281-288 - Keiji Uetsuki, Mitsuru Yamamoto:
Improvement of Description for Reusable Test Type by Using Test Frame. 289-293
Emerging
- Sunil Chon, Jihwan Park:
Suggestion of Practical Quantification Measuring Method of Test Design Which Can Represent the Current Status. 294-299 - Satoshi Masuda:
Software Testing Design Techniques Used in Automated Vehicle Simulations. 300-303 - Karsten Stocker, Hironori Washizaki, Yoshiaki Fukazawa:
Closing the Gap between Unit Test Code and Documentation. 304-308 - Noriyuki Mizuno, Makoto Nakakuki, Yoshinori Seino:
Test Conglomeration - Proposal for Test Design Notation Like Class Diagram. 309-312 - Jon D. Hagar:
Defining the Phrase "Software Test Architecture" Emerging Idea. 313-316
13th Workshop on Advances in Model Based Testing (A-MOST 2017)
- Paolo Arcaini, Xavier Devroey, Shuai Wang:
Message from the A-MOST 2017 Chairs. 317-318
Functional MBT
- Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman:
Mutation-Based Test-Case Generation with Ecdar. 319-328 - Vanderson Hafemann Fragal, Adenilso Simão, André Takeshi Endo, Mohammad Reza Mousavi:
Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. 329-336 - Bernhard K. Aichernig, Silvio Marcovic, Richard Schumi:
Property-Based Testing with External Test-Case Generators. 337-346
Non-Functional MBT
- Josip Bozic, Kristoffer Kleine, Dimitris E. Simos, Franz Wotawa:
Planning-Based Security Testing of the SSL/TLS Protocol. 347-355 - Bruno Miguel Carvalhido Lima, Joao Carlos Pascoal Faria:
Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems. 356-365 - Fernando Dias, Ana C. R. Paiva:
Pattern-Based Usability Testing. 366-371
10th IEEE International Conference on Software Testing, Verification and Validation - Posters Track (ICST 2017 Posters)
- Kuei-Chun Liu, Yu-Yu Lai, Ching-Hong Wu:
A Mechanism of Reliable and Standalone Script Generator on Android. 372-374 - Emily Law:
EarthCube Software Testing and Assessment Framework. 375-376 - Laurent Rioux, Rafik Henia, Nicolas Sordon:
Using Model-Checking for Timing Verification in Industrial System Design. 377-378 - Mojdeh Golagha, Alexander Pretschner:
Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective. 379-381 - Thomas Laurent, Laura Guillot, Motomichi Toyama, Ross Smith, Dan Bean, Anthony Ventresque:
Towards a Gamified Equivalent Mutants Detection Platform. 382-384 - Junyi Wang, Xiaoying Bai, Haoran Ma, Linyi Li, Zhicheng Ji:
Cloud API Testing. 385-386 - Keisuke Watanabe, Takuya Fukamachi, Naoyasu Ubayashi, Yasutaka Kamei:
Automated A/B Testing with Declarative Variability Expressions. 387-388 - Eun-Hye Choi, Tsuyoshi Fujiwara, Osamu Mizuno:
Weighting for Combinatorial Testing by Bayesian Inference. 389-391 - Jianyi Zhou, Dan Hao:
Impact of Static and Dynamic Coverage on Test-Case Prioritization: An Empirical Study. 392-394 - Alexandre Langeois, Eduardo Cunha de Almeida, Anthony Ventresque:
BDTest, a System to Test Big Data Frameworks. 395-397 - Rudolf Ramler, Thomas Ziebermayr:
What You See Is What You Test - Augmenting Software Testing with Computer Vision. 398-400 - Filip Cuckov, Grant Rudd, Liam Daly:
Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems. 401-402 - Ryusei Mori, Masaki Nakamura:
Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation. 403-404
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 2025-10-22 02:23 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:
