default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ICST Workshops 2019: Xi'an, China
- 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE 2019, ISBN 978-1-7281-0888-9
- Paolo Arcaini
, Elvinia Riccobene:
Automatic Refinement of ASM Abstract Test Cases. 1-10 - Chao Tan, Razieh Behjati, Erik Arisholm:
A Model-Based Approach to Generate Dynamic Synthetic Test Data: A Conceptual Model. 11-14 - Jeremy Vanhecke, Xavier Devroey, Gilles Perrouin:
AbsCon: A Test Concretizer for Model-Based Testing. 15-22 - Josip Bozic, Franz Wotawa:
Software Testing: According to Plan! 23-31 - Omer Nguena Timo, Alexandre Petrenko, S. Ramesh:
Using Imprecise Test Oracles Modelled by FSM. 32-39 - Nicolas Brémond, Roland Groz:
Case Studies in Learning Models and Testing Without Reset. 40-45 - Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic, Franz Wotawa:
Weighted Combinatorial Sequence Testing for the TLS Protocol. 46-51 - Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran:
Programming Behavioral Test Models for SMT Solving in Scala. 52-60 - Hoang Nga Nguyen, Siamak Tavakoli, Siraj Ahmed Shaikh, Oliver Maynard:
Developing a QRNG ECU for Automotive Security: Experience of Testing in the Real-World. 61-68 - Kesina Baral, Rasika Mohod, Jennifer Flamm, Seth Goldrich, Paul Ammann:
Evaluating a Test Automation Decision Support Tool. 69-76 - Benjamin Kushigian, Amit Rawat, René Just:
Medusa: Mutant Equivalence Detection Using Satisfiability Analysis. 77-82 - Thomas Laurent, Anthony Ventresque:
PIT-HOM: an Extension of Pitest for Higher Order Mutation Analysis. 83-89 - Jie M. Zhang, Lingming Zhang, Dan Hao, Lu Zhang, Mark Harman:
An Empirical Comparison of Mutant Selection Assessment Metrics. 90-101 - Ana C. R. Paiva, Joao M. E. P. Gouveia, Jean-David Elizabeth, Márcio E. Delamaro:
Testing When Mobile Apps Go to Background and Come Back to Foreground. 102-111 - Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili:
Estimating the Number of Equivalent Mutants. 112-121 - Dimitris E. Simos, Bernhard Garn, Jovan Zivanovic, Manuel Leithner:
Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models. 122-130 - Tomohiro Takeda, Masakazu Takahashi, Tsuyoshi Yumoto, Satoshi Masuda, Tohru Matsuodani, Kazuhiko Tsuda:
Applying Change Impact Analysis Test to Migration Test Case Extraction Based on IDAU and Graph Analysis Techniques. 131-139 - Ayako Masuda, Tohru Matsuodani, Kazuhiko Tsuda:
Team Activities Measurement Method for Open Source Software Development Using the Gini Coefficient. 140-147 - Jiseob Kim, Sunil Chon, Jihwan Park:
Suggestion of Testing Method for Industrial Level Cyber-Physical System in Complex Environment. 148-152 - Akiharu Satoh, Shizuka Ban, Yuzuru Harayama, Kunio Yamamoto:
Designing Fulfilling Test Cases with Test Aspect Model. 153-158 - Muhammad Abbas, Irum Inayat, Mehrdad Saadatmand, Naila Jan:
Requirements Dependencies-Based Test Case Prioritization for Extra-Functional Properties. 159-163 - Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper:
Machine Learning to Guide Performance Testing: An Autonomous Test Framework. 164-167 - Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. 168-175 - Michel Nass, Emil Alégroth, Robert Feldt:
Augmented Testing: Industry Feedback To Shape a New Testing Technology. 176-183 - Jiaming Ye, Mingliang Ma, Tianyong Peng, Yun Peng, Yinxing Xue:
Towards Automated Generation of Bug Benchmark for Smart Contracts. 184-187 - Christian Eitner, Franz Wotawa:
Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application. 188-189 - Riley Smith, Darryl C. Jarman, Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos, Ludwig Kampel, Manuel Leithner, Gabe Gosney:
Applying Combinatorial Testing to Large-Scale Data Processing at Adobe. 190-193 - Riley Smith, Darryl C. Jarman, Jared Bellows, D. Richard Kuhn, Raghu Kacker, Dimitris E. Simos:
Measuring Combinatorial Coverage at Adobe. 194-197 - Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee:
Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. 198-199 - Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. 200-209 - Murat Ozcan:
An Industrial Study on Applications of Combinatorial Testing in Modern Web Development. 210-213 - Erin Lanus, Charles J. Colbourn, Douglas C. Montgomery:
Partitioned Search with Column Resampling for Locating Array Construction. 214-223 - Joshua Bonn, Konrad Fögen, Horst Lichter:
A Framework for Automated Combinatorial Test Generation, Execution, and Fault Characterization. 224-233 - Jianbo Tao, Yihao Li, Franz Wotawa, Hermann Felbinger, Mihai Nica:
On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions. 234-240 - Feng Duan, Yu Lei, Raghu N. Kacker, D. Richard Kuhn:
An Approach to T-Way Test Sequence Generation With Constraints. 241-250 - Chang Rao, Nan Li, Yu Lei, Raghu N. Kacker, D. Richard Kuhn, Jin Guo:
Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array. 251-259 - Hiroshi Ukai, Xiao Qu, Hironori Washizaki, Yoshiaki Fukazawa:
Reduce Test Cost by Reusing Test Oracles through Combinatorial Join. 260-263 - Miraldi Fifo, Eduard Enoiu, Wasif Afzal:
On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software. 264-267 - Dale Blue, Andrew Hicks, Ryan Rawlins, Rachel Tzoref-Brill:
Practical Fault Localization with Combinatorial Test Design. 268-271 - Junhua Zhu, Limin Wang, Yu Gu, Xiaojun Lin:
Learning to Restrict Test Range for Compiler Test. 272-274 - Yuma Jitsunari, Yoshitaka Arahori:
Coverage-Guided Learning-Assisted Grammar-Based Fuzzing. 275-280 - Yanshan Chen, Ziyuan Wang, Dong Wang, Chunrong Fang, Zhenyu Chen:
Variable Strength Combinatorial Testing for Deep Neural Networks. 281-284 - Ruitao Feng, Guozhu Meng, Xiaofei Xie, Ting Su, Yang Liu, Shang-Wei Lin:
Learning Performance Optimization from Code Changes for Android Apps. 285-290 - Mingsong Zhou, Fanping Zeng, Yu Zhang, Chengcheng Lv, Zhao Chen, Guozhu Chen:
Automatic Generation of Capability Leaks' Exploits for Android Applications. 291-295 - Johan Sundell, Richard Torkar, Kristina Lundqvist, Håkan Forsberg:
Prediction of Undetected Faults in Safety-Critical Software. 296-304 - Eduard Enoiu, Mirgita Frasheri:
Test Agents: The Next Generation of Test Cases. 305-308
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-11-06 20:17 CET 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:
