Rewriting-Based Techniques for Runtime Verification

ISSN： 0928-8910

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

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 using policy-based approach to control information flow

By Sarrab Mohamed

International Journal of Security and Networks, Vol. 8, Iss. 4, 2013-12 ,pp. : 212-230

Inderscience Publishers

Access to resources Recommend Favorite

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

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

Runtime verification of service-oriented systems: a well-rounded survey

By Babaee Reza Babamir Seyed Morteza

International Journal of Web and Grid Services, Vol. 9, Iss. 3, 2013-08 ,pp. : 213-267

Inderscience Publishers

Access to resources Recommend Favorite

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

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

IGI Global_journal

Access to resources Recommend Favorite