Title
OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling
Abstract
Executing program paths outside the ones tested means that the program is executing scenarios not tested before deployment. No existing technique can produce a program that precisely contains an arbitrary set of tested program paths in each procedure of a tested program. This paper presents the first work, a novel technique called OPE, to address this problem. OPE first builds a transformed proced...
Year
DOI
Venue
2020
10.1109/QRS54544.2021.00039
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)
Keywords
DocType
ISBN
Codes,Conferences,Software quality,Reliability theory,Encoding,Software reliability,Security
Conference
978-1-6654-5813-9
Citations 
PageRank 
References 
0
0.34
0
Authors
5
Name
Order
Citations
PageRank
Chunbai Yang100.34
Imran Ashraf200.34
Xiaoxue Ma331.07
Hao Zhang400.68
W.K. Chan581.16