| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jia Yang, Ou Ruan, JiXin Zhang |
Tensor-based gated graph neural network for automatic vulnerability detection in source code.  |
Softw. Test. Verification Reliab.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sten Vercammen, Serge Demeyer, Markus Borg, Niklas Pettersson, Görel Hedin |
Mutation testing optimisations using the Clang front-end. |
Softw. Test. Verification Reliab. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks. |
Softw. Test. Verification Reliab. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Huang 0002, Zhicao Tang, Xiangping Chen, Xiaocong Zhou |
Towards automatically identifying the co-change of production and test code. |
Softw. Test. Verification Reliab. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Test code evolution and mutation testing. |
Softw. Test. Verification Reliab. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengfei Wang 0010, Xu Zhou, Tai Yue, Peihong Lin, Yingying Liu, Kai Lu |
The progress, challenges, and perspectives of directed greybox fuzzing. |
Softw. Test. Verification Reliab. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingling Li, Ziao Wang, Junjie Wang, Jie Chen, Rui Mou, Guibing Li |
Semantic-aware two-phase test case prioritization for continuous integration. |
Softw. Test. Verification Reliab. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Test case prioritization and mutation testing. |
Softw. Test. Verification Reliab. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Zaheed Ahmed, Eike Schwass, Steffen Herbold, Fabian Trautsch, Jens Grabowski |
A new perspective on the competent programmer hypothesis through the reproduction of real faults with repeated mutations. |
Softw. Test. Verification Reliab. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Stevão Alves de Andrade, Fátima L. S. Nunes, Márcio Eduardo Delamaro |
Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Huang 0003, Bertrand Meyer 0001 |
A failed proof can yield a useful test. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabiano Cutigi Ferrari, Vinicius H. S. Durelli, Sten F. Andler, Jeff Offutt, Mehrdad Saadatmand, Nils Müllner |
On transforming model-based tests into code: A systematic literature review. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella |
In vivo test and rollback of Java applications as they are. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Deep neural network supervision and data flow testing. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio Neto, Roberto Paulo Andrioli de Araujo |
On subsumption relationships in data flow testing. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Test infrastructure and environment. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen-Lin Sun, Ying-Han Tang, Yu-Lun Huang |
HiRAM: A hierarchical risk assessment model and its implementation for an industrial Internet of Things in the cloud. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Torvald Mårtensson, Göran Ancher, Daniel Ståhl |
Test environments for large-scale software systems - An industrial study of intrinsic and extrinsic success factors. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Model-based testing. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
In vivo testing and integration of proving and testing. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva |
A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunja Choi |
OS-in-the-Loop verification for multi-tasking control software. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Quality assurance for Internet of Things and speech recognition systems. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Weiss 0004, Paolo Tonella |
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Combinatorial testing and machine learning for automated test generation. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Fuzz testing for digital TV receivers and multitasking control software verification. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Afonso Fontes, Gregory Gay 0002 |
The integration of machine learning into automated test generation: A systematic mapping study. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Meshesha Kifetew, Annibale Panichella, Sebastiano Panichella |
JUGE: An infrastructure for benchmarking Java unit test generators. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmond La Chance, Sylvain Hallé |
An investigation of distributed computing for combinatorial testing. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Model-based testing, test case prioritization and testing of virtual reality applications. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei 0001, Feng Duan |
RATE: A model-based testing approach that combines model refinement and test execution. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Junxia Guo, Rui Wang, Jinjin Han, Zheng Li 0002 |
Research on hyper-level of hyper-heuristic framework for MOTCP. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro Sobrinho, Ially Almeida, Leandro Dias da Silva, Lenardo Chaves e Silva, Adriano Araújo, Tássio Fernandes Costa, Angelo Perkusich |
Coloured Petri nets for abstract test generation in software engineering. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanbo Cai, Pengcheng Zhang, Hai Dong, Lars Grunske, Shunhui Ji, Tianhao Yuan |
Adversarial example-based test case generation for black-box speech recognition systems. |
Softw. Test. Verification Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zahra Sadri-Moshkenani, Justin M. Bradley, Gregg Rothermel |
Survey on test case generation, selection and prioritization for cyber-physical systems. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Integration testing and metamorphic testing. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Garn, Dominik-Philip Schreiber, Dimitris E. Simos, Rick Kuhn, Jeffrey M. Voas, Raghu Kacker |
Combinatorial methods for testing Internet of Things smart home systems. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante |
TRANSMUT-Spark: Transformation mutation for Apache Spark. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunho Kim, Shin Hong |
Learning-based mutant reduction using fine-grained mutation operators. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos |
Combinatorial methods for dynamic gray-box SQL injection testing. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Tao Xie 0001 |
Model checking, testing and debugging. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo |
Comprehensive evaluation of file systems robustness with SPIN model checking. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Gopinath, Jie M. Zhang, Marinos Kintis, Mike Papadakis |
Mutation analysis and its industrial applications. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Tao Xie 0001 |
Combinatorial testing and model-based testing. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled El-Fakih, Ayman Alzaatreh, Uraz Cengiz Türker |
Assessing test suites of extended finite state machines against model- and code-based faults. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuqing Wang, Mika V. Mäntylä, Zihao Liu, Jouni Markkula, Päivi Raulamo-Jurvanen |
Improving test automation maturity: A multivocal literature review. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Chu, Tingting Yu, Jane Huffman Hayes, Xue Han, Yu Zhao 0010 |
Effective fault localization and context-aware debugging for concurrent programs. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Corradini, Amedeo Zampieri, Michele Pasqua, Emanuele Viglianisi, Michael Dallago, Mariano Ceccato |
Automated black-box testing of nominal and error scenarios in RESTful APIs. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina S. Pasareanu, Andreas Zeller |
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020). |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Sachtleben, Jan Peleska 0001 |
Effective grey-box testing with partial FSM models. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Manar H. Alalfi, Sajeda Parveen, Bara' Nazzal |
A mutation framework for evaluating security analysis tools in IoT applications. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro |
Model checking C++ programs. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong-In Jang, Duksan Ryu, Jongmoon Baik |
HOTFUZ: Cost-effective higher-order mutation-based fault localization. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Hellhake, Justus Bogner, Tobias Schmid, Stefan Wagner 0001 |
Towards using coupling measures to guide black-box integration testing in component-based systems. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Farewell after an 11-year journey as joint editor-in-chief. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Windsor, Alastair F. Donaldson, John Wickerson |
High-coverage metamorphic testing of concurrency support in C compilers. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
GPU acceleration of finite state machine input execution: Improving scale and performance. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Gopinath, Jie M. Zhang, Marinos Kintis, Mike Papadakis |
Mutation analysis and its industrial applications. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Le Traon, Tao Xie 0001 |
Combinatorial testing and model checking. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Leveau, Xavier Blanc 0001, Laurent Réveillère, Jean-Rémy Falleri, Romain Rouvoy |
Fostering the diversity of exploratory testing in web applications. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae |
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Tao Xie 0001 |
Metamorphic testing and test automation. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrique Neves da Silva, Jackson A. Prado Lima, Silvia Regina Vergilio, André Takeshi Endo |
A mapping study on mutation testing for mobile applications. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhusudan Srinivasan, Upulee Kanewala |
Metamorphic relation prioritization for effective regression testing. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Cabral 0002, Breno Miranda, Igor Lima, Marcelo d'Amorim |
RVprio: A tool for prioritizing runtime verification violations. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Hu 0004, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai |
Erratum. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Di Martino, Anna Rita Fasolino, Luigi Libero Lucio Starace, Porfirio Tramontana |
Comparing the effectiveness of capture and replay against automatic input generation for Android graphical user interface testing. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Hu 0004, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai |
Cover Image. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bento R. Siqueira, Fabiano Cutigi Ferrari, Kathiani Elisa de Souza, Valter Vieira de Camargo, Rogério de Lemos |
Testing of adaptive and context-aware systems: approaches and challenges. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rawad Abou Assi, Wes Masri, Chadi Trad |
How detrimental is coincidental correctness to coverage-based fault detection and localization? An empirical study. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeinab Eivazpour, Mohammad Reza Keyvanpour |
CSSG: A cost-sensitive stacked generalization approach for software defect prediction. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Tao Xie 0001 |
Editorial: Testing, Debugging, and Defect Prediction. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Azeem Ahmad, Ola Leifler, Kristian Sandahl |
Empirical analysis of practitioners' perceptions of test flakiness factors. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi |
An ensemble-based predictive mutation testing approach that considers impact of unreached mutants. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Tao Xie 0001 |
Adaptive or embedded software testing and mutation testing. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Delgado-Pérez, Ana Belén Sánchez, Sergio Segura, Inmaculada Medina-Bulo |
Performance mutation testing. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thuy Nguyen, Takashi Tomita, Junpei Endo, Toshiaki Aoki |
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinobu Tamura, Shigeru Yamada |
Performance assessment based on stochastic differential equation and effort data for edge computing. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Valerio Terragni, Mauro Pezzè |
Statically driven generation of concurrent tests for thread-safe classes. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Frolin S. Ocariza Jr., Boyang Zhao |
Localizing software performance regressions in web applications by comparing execution timelines. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond |
Effective automated repair of internationalization presentation failures in web applications using style similarity clustering and search-based techniques. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vu Nguyen 0003, Thanh To, Gia-Han Diep |
Generating and selecting resilient and maintainable locators for Web automated testing. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Alégroth, Luca Ardito, Riccardo Coppola, Robert Feldt |
Special issue on new generations of UI testing. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Hu 0004, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai |
Verification algebra for multi-tenant applications in VaaS architecture. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunho Kim, Shin Hong |
DEMINER: test generation for high test coverage through mutant exploration. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tanja E. J. Vos, Pekka Aho, Fernando Pastor Ricós, Olivia Rodriguez Valdes, Ad Mulders |
testar - scriptless testing through graphical user interface. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Il-Seok (Benjamin) Choi, Chang-Sung Jeong |
Remote embedded devices test framework on the cloud. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Tao Xie 0001 |
Editorial: Verification, reliability and performance. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Renhe Jiang, Zhengzhao Chen, Yu Pei 0001, Minxue Pan, Tian Zhang 0001, Xuandong Li |
Documentation-based functional constraint generation for library methods. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Macario Polo Usaola, Isyed Rodriguez |
Analysing the combination of cost reduction techniques in Android mutation testing. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Leotta, Filippo Ricca, Paolo Tonella |
Sidereal: Statistical adaptive generation of robust locators for web testing. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Gyimesi, Béla Vancsics, Andrea Stocco 0001, Davood Mazinanian, Árpád Beszédes, Rudolf Ferenc, Ali Mesbah 0001 |
BUGSJS: a benchmark and taxonomy of JavaScript bugs. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Atif M. Memon, Myra B. Cohen |
The IEEE 12th International Conference on Software Testing, Verification & Validation. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibrahim Althomali, Gregory M. Kapfhammer, Phil McMinn |
Automated visual classification of DOM-based presentation failure reports for responsive web pages. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pooja Rani 0003, G. S. Mahapatra |
Entropy based enhanced particle swarm optimization on multi-objective software reliability modelling for optimal testing resources allocation. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yavuz Köroglu, Alper Sen 0001 |
Functional test generation from UI test scenarios using reinforcement learning for android applications. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Tao Xie 0001 |
Property generation/verification and empirical studies. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Scholz, Richard Torkar |
An empirical study of Linespots: A novel past-fault algorithm. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Feldt, Shin Yoo |
Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018. |
Softw. Test. Verification Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Schulz, André van Hoorn, Alexander Wert |
Reducing the maintenance effort for parameterization of representative load tests using annotations. |
Softw. Test. Verification Reliab. |
2020 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license