Using SPIN for automated debugging of infinite executions of Java programs-Reference-Cited by-同舟云学术

Using SPIN for automated debugging of infinite executions of Java programs

Author:

Adalid Damián,Salmerón Alberto,Gallardo María del Mar,Merino Pedro

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference42 articles.

1. Testing temporal logic on infinite Java traces;Adalid,2012

2. Adalid, D., Salmerón, A., Gallardo, M.d.M., Merino, P. TJT: Temporal Java Testing. (http://www.lcc.uma.es/salmeron/tjt/).

3. Model Checking and Delta Debugging for Automated Fault Localization; A Tutorial. Technical Report;Alipour,2012

4. Experiments with test case generation and runtime analysis.;Artho,2003

5. Development of a debugger for a concurrent language.;Baiardi;IEEE Transactions on SE-12, Software Engineering,1986

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

2. The Role of Abstraction in Model Checking;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

3. Type-based Enforcement of Infinitary Trace Properties for Java;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06