JNuke: Efficient Dynamic Analysis for Java-Reference-Cited by-同舟云学术

JNuke: Efficient Dynamic Analysis for Java

Published:2004 Issue: Volume: Page:462-465
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Artho Cyrille,Schuppan Viktor,Biere Armin,Eugster Pascal,Baur Marcel,Zweimüller Boris

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27813-9_37.pdf

Reference18 articles.

1. Artho, C., Havelund, K., Biere, A.: High-level data races. Journal on Software Testing, Verification & Reliability (STVR) 13(4) (2003)

2. Bruening, D.: Systematic testing of multithreaded Java programs. Master’s thesis, MIT (1999)

3. Bull, J., Smith, L., Westhead, M., Henty, D., Davey, R.: A methodology for benchmarking Java Grande applications. In: Proc. ACM Java Grande Conference (1999)

4. Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C.: Bandera: Extracting finite-state models from Java source code. In: Proc. Intl. Conf. on Software Engineering (ICSE 2000), ACM Press, New York (2000)

5. Eugster, P.: Java VirtualMachine with rollback procedure allowing systematic and exhaustive testing of multithreaded Java programs. Master’s thesis, ETH Zürich (2003)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. JPF: From 2003 to 2023;Lecture Notes in Computer Science;2024

2. A Review of Dynamic Verification of Security and Dependability Properties;Artificial Intelligence and Security Challenges in Emerging Networks;2019

3. A formal approach for run-time verification of web applications using scope-extended LTL;Information and Software Technology;2013-12

4. Assessing the genuineness of events in runtime monitoring of cyber systems;Computers & Security;2013-10

5. Iterative delta debugging;International Journal on Software Tools for Technology Transfer;2010-03-07