Survey of Dynamic Analysis Based Program Invariant Synthesis TechniquesChinese Full Text English Full Text (MT)

WANG Bo;LU Si-Rui;JIANG Jia-Jun;XIONG Ying-Fei;Software Engineering Institute, Department of Computer Science and Technology, School of Electronics Engineering and Computer Science, Peking University;Key Laboratory of High Confidence Software Technologies of Ministry of Education (Peking University);

Abstract: Program invariants are important properties of software, which play important roles in many software research fields, such as verification, debugging, and testing. Since the end of 20 th century, research on dynamic analysis based program invariant synthesis has become a hot topic in related research areas and made remarkable progress. This paper collects 90 related papers to survey researches within this topic. To dynamically synthesize invariants is the key problem of this field. An abstract f... More

Keywords：

program invariant; dynamic analysis; software specification; software verification; software testing;

DOI：
10.13328/j.cnki.jos.006014
Series：
(I) Electronic Technology ＆ Information Science
Subject：
Computer Software and Application of Computer
Classification Code：
TP311.5

Mobile Reading

Read on your phone instantly

Step 1
Scan QR Codes

"Mobile CNKI-CNKI Express" App

Step 2
Open“CNKI Express”

and click the scan icon in the upper left corner of the homepage.

Step 3
Scan QR Codes

Read this article on your phone.
Download
- PDF
- CAJ
Online Reading
- HTML Reading
- Original Reading
BETABETAEnglish HTML (MT)
AI Summary