A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30473-6_5 ◽

2012 ◽

pp. 35-50 ◽

Cited By ~ 7

Author(s):

Matthieu Carlier ◽

Catherine Dubois ◽

Arnaud Gotlieb

Keyword(s):

Testing Tool

Download Full-text

Trace Management, Debug, Analysis and Testing Tool for Embedded Systems

International Journal of Innovative Research in Computer and Communication Engineering ◽

10.15680/ijircce.2015.0305050 ◽

2015 ◽

Vol 03 (05) ◽

pp. 4349-4355

Author(s):

Bhagyalakshmi C, Pushpa S Tembad

Keyword(s):

Embedded Systems ◽

Testing Tool

Download Full-text

Constructing an Aptitude Testing Tool for the Teaching Profession

Teacher Education Research ◽

10.15812/ter.53.2.201406.245 ◽

2014 ◽

Vol 53 (2) ◽

pp. 245-259 ◽

Cited By ~ 1

Author(s):

강재원

Keyword(s):

Teaching Profession ◽

Aptitude Testing ◽

Testing Tool

Download Full-text

Development of Testing Tool for Measuring Convergence Competency

The Institute for Education and Research Gyeongin National University of Education ◽

10.25020/joe.2018.1.1.29 ◽

2018 ◽

Vol 1 (1) ◽

pp. 29-49

Author(s):

MiYoung Ryu ◽

Sun Gwan Han

Keyword(s):

Testing Tool

Download Full-text

AI-Based Enhancement of Test Models in an Industrial Model-Based Testing Tool

2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) ◽

10.1109/saner50967.2021.00080 ◽

2021 ◽

Author(s):

Stefan Mohacsi ◽

Michael Felderer

Keyword(s):

Model Based ◽

Test Models ◽

Model Based Testing ◽

Testing Tool

Download Full-text

An Privacy Preserving and Multi-copy Supporting PDP Algorithm and its Application in Component Testing Tool

Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference on - HPCCT 2019 ◽

10.1145/3341069.3342972 ◽

2019 ◽

Author(s):

Yan Shi ◽

Guozheng Zhang ◽

Shuyu Li

Keyword(s):

Privacy Preserving ◽

Component Testing ◽

Testing Tool

Download Full-text

Java Unit Testing Tool Competition

Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops ◽

10.1145/3387940.3392265 ◽

2020 ◽

Author(s):

Xavier Devroey ◽

Sebastiano Panichella ◽

Alessio Gambi

Keyword(s):

Unit Testing ◽

Testing Tool

Download Full-text

A prototype automatic program testing tool

10.1145/1480083.1480106 ◽

1972 ◽

Cited By ~ 6

Author(s):

Leon G. Stucki

Keyword(s):

Program Testing ◽

Automatic Program ◽

Testing Tool

Download Full-text

Towards a structural load testing tool

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226318 ◽

1996 ◽

Cited By ~ 5

Author(s):

Cheer-Sun D. Yang ◽

Lori L. Pollock

Keyword(s):

Load Testing ◽

Testing Tool

Download Full-text

LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2013.09.002 ◽

2013 ◽

Vol 296 ◽

pp. 253-259 ◽

Cited By ~ 4

Author(s):

Kari Kähkönen ◽

Olli Saarikivi ◽

Keijo Heljanko

Keyword(s):

Distributed Testing ◽

Testing Tool ◽

Java Programs

Download Full-text

ArbitCheck: A Highly Automated Property-Based Testing Tool for Java

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.68 ◽

2014 ◽

Cited By ~ 2

Author(s):

Kohsuke Yatoh ◽

Kazunori Sakamoto ◽

Fuyuki Ishikawa ◽

Shinichi Honiden

Keyword(s):

Testing Tool

Download Full-text