Author:
Havelund Klaus,Joshi Rajeev
Publisher
Springer International Publishing
Reference19 articles.
1. D3 website,
http://d3js.org
2. Drools website,
http://www.jboss.org/drools
3. Mars Science Laboratory (MSL) mission website,
http://mars.jpl.nasa.gov/msl
4. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittamplan, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA 2005, ACM Press (2005)
5. Lecture Notes in Computer Science;H. Barringer,2012
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Using mutants to help developers distinguish and debug (compiler) faults;Software Testing, Verification and Reliability;2020-01-13
2. Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing;2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE);2018-10
3. Inferring event stream abstractions;Formal Methods in System Design;2018-02-27
4. Towards a Logic for Inferring Properties of Event Streams;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016
5. nfer – A Notation and System for Inferring Event Stream Abstractions;Runtime Verification;2016