Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing

E-ISSN： 2166-7179|2|2|20-42

ISSN： 2166-7160

Source： International Journal of Software Innovation (IJSI), Vol.2, Iss.2, 2014-04, pp. : 20-42

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

Runtime Verification on Robotics Systems

International Journal of Robotics Applications and Technologies (IJRAT), Vol. 3, Iss. 1, 2015-01 ,pp. : 23-40

IGI Global_journal

Access to resources Recommend Favorite

Rewriting-Based Techniques for Runtime Verification

By Roşu Grigore

Automated Software Engineering, Vol. 12, Iss. 2, 2005-04 ,pp. : 151-197

Springer Publishing Company

Access to resources Recommend Favorite

Integrated static code analysis and runtime verification

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 10, 2015-10 ,pp. : 1359-1373

John Wiley & Sons Inc

Access to resources Recommend Favorite

Conformance Testing of Preemptive Real-Time Systems

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 4, Iss. 4, 2013-10 ,pp. : 1-26

IGI Global_journal

Access to resources Recommend Favorite

A Privacy Protection Approach Based on Android Application's Runtime Behavior Monitor and Control

International Journal of Digital Crime and Forensics (IJDCF), Vol. 10, Iss. 3, 2018-07 ,pp. : 95-113

IGI Global_journal

Access to resources Recommend Favorite