Prioritizing Runtime Verification Violations
作者： Breno Miranda , Igor Lima , Owolabi Legunsen , Marcelo d'Amorim
DOI: 10.1109/ICST46399.2020.00038
关键词:
摘要: Runtime Verification (RV) can help find software bugs by monitoring formally specified properties during testing. A key problem when using RV during testing is how to reduce the …
nsf.gov参考文章(102)
Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O’Neil Meredith, Traian Florin Şerbănuţă, Grigore Roşu, RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties runtime verification. pp. 285- 300 ,(2014) , 10.1007/978-3-319-11164-3_24
Grigore Rosu, Dongyun Jin, Patrick O'Neil Meredith, Scalable Parametric Runtime Monitoring ,(2012)
Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister, Efficient techniques for near-optimal instrumentation in time-triggered runtime verification runtime verification. pp. 208- 222 ,(2011) , 10.1007/978-3-642-29860-8_16
Eric Bodden, Laurie Hendren, Patrick Lam, Ondřej Lhoták, Nomair A. Naeem, Collaborative runtime verification with tracematches runtime verification. pp. 22- 37 ,(2007) , 10.1007/978-3-540-77395-5_3
Claire Le Goues, Westley Weimer, Specification Mining with Few False Positives tools and algorithms for construction and analysis of systems. pp. 292- 306 ,(2009) , 10.1007/978-3-642-00768-2_26
Eric Bodden, MOPBox: a library approach to runtime verification runtime verification. pp. 365- 369 ,(2011) , 10.1007/978-3-642-29860-8_28
Lan Guo, Yan Ma, B. Cukic, H. Singh, Robust prediction of fault-proneness by random forests international symposium on software reliability engineering. pp. 417- 428 ,(2004) , 10.1109/ISSRE.2004.35
Jerome H. Friedman, Greedy function approximation: A gradient boosting machine. Annals of Statistics. ,vol. 29, pp. 1189- 1232 ,(2001) , 10.1214/AOS/1013203451
Anh Cuong Nguyen, Siau-Cheng Khoo, Extracting significant specifications from mining through mutation testing formal methods. pp. 472- 488 ,(2011) , 10.1007/978-3-642-24559-6_32
Ted Kremenek, Dawson Engler, Z-ranking: using statistical analysis to counter the impact of static analysis approximations static analysis symposium. pp. 295- 315 ,(2003) , 10.5555/1760267.1760289