24 results on '"K., Petrenko"'
Search Results
2. Formal Verification of OS Security Model with Alloy and Event-B.
3. UniTESK: Component Model Based Testing.
4. Linux Driver Verification - (Position Paper).
5. Integrating AADL-Based Tool Chain into Existing Industrial Processes.
6. Establishing Linux Driver Verification Process.
7. Formal Methods and Innovation Economy: Facing New Challenges.
8. Automatic Test Generation for Model-Based Code Generators.
9. Formal Methods in Industrial Software Standards Enforcement.
10. Practical Approach to Specification and Conformance Testing of Distributed Network Applications.
11. Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.
12. UniTesK Test Suite Architecture.
13. Java Specification Extension for Automated Test Development.
14. KVEST: Automated Generation of Test Suites from Formal Specifications.
15. Using ASM Specifications for Compiler Testing.
16. Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings
17. Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
18. 1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015
19. Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010
20. Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009
21. Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008
22. Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007
23. Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006
24. Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.