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 Yang | 1 | 0 | 0.34 |
Imran Ashraf | 2 | 0 | 0.34 |
Xiaoxue Ma | 3 | 3 | 1.07 |
Hao Zhang | 4 | 0 | 0.68 |
W.K. Chan | 5 | 8 | 1.16 |