How effective are existing Java API specifications for finding bugs during runtime verification?
-
Published:2019-11-21
Issue:4
Volume:26
Page:795-837
-
ISSN:0928-8910
-
Container-title:Automated Software Engineering
-
language:en
-
Short-container-title:Autom Softw Eng
Author:
Legunsen OwolabiORCID, Al Awar Nader, Xu Xinyue, Hassan Wajih Ul, Roşu Grigore, Marinov Darko
Funder
National Science Foundation
Publisher
Springer Science and Business Media LLC
Reference77 articles.
1. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA, pp. 345–364 (2005) 2. Arnold, M., Vechev, M., Yahav, E.: QVM: An efficient runtime for detecting defects in deployed systems. In: OOPSLA, pp. 143–162 (2008) 3. Beckman, N.E., Nori, A.V.: Probabilistic, modular and scalable inference of typestate specifications. In: PLDI, pp. 211–221 (2011) 4. Blackburn, S.M., Garner, R., Hoffmann, C., Khang, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanović, D., VanDrunen, T., von Dincklage, D., Wiedermann, B. The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA, pp. 169–190 (2006) 5. Bodden, E.: MOPBox: a library approach to runtime verification. In: RV Tool Demo, pp. 365–369 (2011)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SelfPiCo: Self-Guided Partial Code Execution with LLMs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11 2. Runtime Verification of Crypto APIs: An Empirical Study;IEEE Transactions on Software Engineering;2023-10-01 3. RVprio: A tool for prioritizing runtime verification violations;Software Testing, Verification and Reliability;2022-03-07 4. Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification;2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST);2021-04
|
|