Works matching DE "TEST generators"
Results: 14
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2900, doi. 10.1093/comjnl/bxv001
- By:
- Publication type:
- Article
Test Generation for Programs with Binary Tree Structure as Input.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2015, v. 25, n. 7, p. 1129, doi. 10.1142/S0218194015500205
- By:
- Publication type:
- Article
Supporting Unit Test Generation via Automated Isolation.
- Published in:
- Periodica Polytechnica: Electrical Engineering & Computer Science, 2017, v. 61, n. 2, p. 116, doi. 10.3311/PPee.9768
- By:
- Publication type:
- Article
A test generator of single square-wave voltage pulses.
- Published in:
- Instruments & Experimental Techniques, 2017, v. 60, n. 4, p. 538, doi. 10.1134/S002044121703023X
- By:
- Publication type:
- Article
Automated test generation using model checking: an industrial evaluation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 335, doi. 10.1007/s10009-014-0355-9
- By:
- Publication type:
- Article
Model-based testing for concurrent systems: unfolding-based test selection.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 305, doi. 10.1007/s10009-014-0353-y
- By:
- Publication type:
- Article
Test generation from recursive tile systems.
- Published in:
- Software Testing: Verification & Reliability, 2014, v. 24, n. 7, p. 532, doi. 10.1002/stvr.1525
- By:
- Publication type:
- Article
Model-based testing for concurrent systems with labelled event structures.
- Published in:
- Software Testing: Verification & Reliability, 2014, v. 24, n. 7, p. 558, doi. 10.1002/stvr.1543
- By:
- Publication type:
- Article
Functional Delay Test Generation Approach Using a Software Prototype of the Circuit.
- Published in:
- Computer Science & Information Systems, 2013, v. 10, n. 3, p. 1165, doi. 10.2298/CSIS120416019B
- By:
- Publication type:
- Article
ON THE PROBLEM OF GENERATING A LARGE NUMBER OF COMPARABLE TEST VARIANTS.
- Published in:
- Journal of Efficiency & Responsibility in Education & Science, 2018, v. 11, n. 4, p. 78, doi. 10.7160/eriesj.2018.110402
- By:
- Publication type:
- Article
Best Education Money Can Buy? Capitalization of School Quality in Finland.
- Published in:
- CESifo Economic Studies, 2018, v. 64, n. 2, p. 150, doi. 10.1093/cesifo/ifx025
- By:
- Publication type:
- Article
B model slicing and predicate abstraction to generate tests.
- Published in:
- Software Quality Journal, 2013, v. 21, n. 1, p. 127, doi. 10.1007/s11219-011-9161-8
- By:
- Publication type:
- Article
Autotest: An educational software application to support teachers in creating tests.
- Published in:
- Computer Applications in Engineering Education, 2013, v. 21, n. 4, p. 636, doi. 10.1002/cae.20508
- By:
- Publication type:
- Article
A Similarity Threshold-based Tool for Generating and Assessing Essay Computer-Based Examination.
- Published in:
- Library Philosophy & Practice, 2012, p. 1
- By:
- Publication type:
- Article