In this issue.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
Works matching IS 09639314 AND DT 2019 AND VI 27 AND IP 2
Results: 16
1
2
Guest Editorial: Special issue on Testing Software and Systems.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
3
Fault model-driven testing from FSM with symbolic inputs.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 501, doi. 10.1007/s11219-019-9440-3
- By:
- Publication type:
- Article
4
Automatically learning usage behavior and generating event sequences for black-box testing of reactive systems.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 861, doi. 10.1007/s11219-018-9439-1
- By:
- Publication type:
- Article
5
An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 675, doi. 10.1007/s11219-018-9438-2
- By:
- Publication type:
- Article
6
Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 615, doi. 10.1007/s11219-018-9437-3
- By:
- Publication type:
- Article
7
Learning and statistical model checking of system response times.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 757, doi. 10.1007/s11219-018-9432-8
- By:
- Publication type:
- Article
8
Fault-based refinement-testing for CSP.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 529, doi. 10.1007/s11219-018-9431-9
- By:
- Publication type:
- Article
9
Differences between a static and a dynamic test-to-code traceability recovery method.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 797, doi. 10.1007/s11219-018-9430-x
- By:
- Publication type:
- Article
10
Virtual machine placement quality estimation in cloud infrastructures using integer linear programming.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 731, doi. 10.1007/s11219-018-9420-z
- By:
- Publication type:
- Article
11
Coverage-based quality metric of mutation operators for test suite improvement.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 823, doi. 10.1007/s11219-018-9425-7
- By:
- Publication type:
- Article
12
Test descriptions with ETSI TDL.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 885, doi. 10.1007/s11219-018-9423-9
- By:
- Publication type:
- Article
13
n-Complete test suites for IOCO.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 563, doi. 10.1007/s11219-018-9422-x
- By:
- Publication type:
- Article
14
Safety-complete test suites.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 589, doi. 10.1007/s11219-018-9421-y
- By:
- Publication type:
- Article
15
FSM inference and checking sequence construction are two sides of the same coin.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 651, doi. 10.1007/s11219-018-9429-3
- By:
- Publication type:
- Article
16
Testing TLS using planning-based combinatorial methods and execution framework.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 2, p. 703, doi. 10.1007/s11219-018-9412-z
- By:
- Publication type:
- Article