Works matching IS 09639314 AND DT 2021 AND VI 29 AND IP 3
Results: 5
Preface to the special issue on improving software quality through program analysis.
- Published in:
- 2021
- By:
- Publication type:
- Editorial
Reductions and abstractions for formal verification of distributed round-based algorithms.
- Published in:
- Software Quality Journal, 2021, v. 29, n. 3, p. 705, doi. 10.1007/s11219-020-09539-6
- By:
- Publication type:
- Article
Model-based test case generation from UML sequence diagrams using extended finite state machines.
- Published in:
- Software Quality Journal, 2021, v. 29, n. 3, p. 597, doi. 10.1007/s11219-020-09531-0
- By:
- Publication type:
- Article
Classification of application reviews into software maintenance tasks using data mining techniques.
- Published in:
- Software Quality Journal, 2021, v. 29, n. 3, p. 667, doi. 10.1007/s11219-020-09529-8
- By:
- Publication type:
- Article
Verification supported refactoring of embedded sql.
- Published in:
- Software Quality Journal, 2021, v. 29, n. 3, p. 629, doi. 10.1007/s11219-020-09517-y
- By:
- Publication type:
- Article