Checking Java Implementation of a Naming Architecture Using Testera

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.55, Iss.3, 2004-01, pp. : 1-21

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Heuristics for model checking Java programs

By Groce Alex Visser Willem

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 260-276

Springer Publishing Company

Access to resources Recommend Favorite

Specifying and checking method call sequences of Java programs

By Cheon Yoonsik Perumandla Ashaveena

Software Quality Journal, Vol. 15, Iss. 1, 2007-03 ,pp. : 7-25

Springer Publishing Company

Access to resources Recommend Favorite

High performance implementation of texture features extraction algorithms using FPGA architecture

By Akoushideh Ali Shahbahrami Asadollah Maybodi Babak

Journal of Real-Time Image Processing, Vol. 9, Iss. 1, 2014-03 ,pp. : 141-157

Springer Publishing Company

Access to resources Recommend Favorite

CTL^* model checking on a shared-memory architecture

By Inggs Cornelia Barringer Howard

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 135-155

Springer Publishing Company

Access to resources Recommend Favorite

Checking JML specifications using an extensible software model checking framework

By Rodríguez Edwin Dwyer Matthew Hatcliff John

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 3, 2006-06 ,pp. : 280-299

Springer Publishing Company

Access to resources Recommend Favorite