Works matching IS 14332779 AND DT 2015 AND VI 17 AND IP 3
Results: 8
Statistical model checking for biological systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 351, doi. 10.1007/s10009-014-0323-4
- By:
- Publication type:
- Article
Incremental test case generation using bounded model checking: an application to automatic rating.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 339, doi. 10.1007/s10009-014-0317-2
- By:
- Publication type:
- Article
Restoring security of evolving software models using graph transformation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 267, doi. 10.1007/s10009-014-0364-8
- By:
- Publication type:
- Article
Policy ignorant caller-side inline reference monitoring.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 291, doi. 10.1007/s10009-014-0348-8
- By:
- Publication type:
- Article
Security risk analysis of system changes exemplified within the oil and gas domain.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 251, doi. 10.1007/s10009-014-0351-0
- By:
- Publication type:
- Article
A systematic classification of security regression testing approaches.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 305, doi. 10.1007/s10009-015-0365-2
- By:
- Publication type:
- Article
A process for mastering security evolution in the development lifecycle.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 245, doi. 10.1007/s10009-015-0371-4
- By:
- Publication type:
- Article
Workflows for quantitative data analysis in the social sciences.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 321, doi. 10.1007/s10009-014-0315-4
- By:
- Publication type:
- Article