DSpace at KOASAS
Browsing DSpace

Browse by Subject software model checking

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 1 of 1

1
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study

Kim, Moon-Zoo; Kim, Yun-Ho; Kim, Ho-Tae, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.37, no.2, pp.146 - 160, 2011

Discover

rss_1.0 rss_2.0 atom_1.0