Integrated static code analysis and runtime verification

E-ISSN： 1097-024x|45|10|1359-1373

ISSN： 0038-0644

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

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

Static Signature Verification Based on Texture Analysis Using Support Vector Machine

International Journal of Multimedia Data Engineering and Management (IJMDEM), Vol. 8, Iss. 2, 2017-04 ,pp. : 22-32

IGI Global_journal

Access to resources Recommend Favorite

Runtime latency detection and analysis

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 46, Iss. 10, 2016-10 ,pp. : 1397-1409

John Wiley & Sons Inc

Access to resources Recommend Favorite

Certifying Compilation and Run-Time Code Generation

By Hornof L.

LISP and Symbolic Computation, Vol. 12, Iss. 4, 1999-12 ,pp. : 337-375

Springer Publishing Company

Access to resources Recommend Favorite