Requirements-Driven Log Analysis (Extended Abstract)
暂无分享,去创建一个
[1] Howard Barringer,et al. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors , 2012, FM.
[2] Frits W. Vaandrager,et al. Automata Learning through Counterexample Guided Abstraction Refinement , 2012, FM.
[3] Alex Groce,et al. From scripts to specifications: the evolution of a flight software testing effort , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
[4] Klaus Havelund,et al. Closing the Gap Between Specification and Programming: VDM++ and Scala , 2011, HOWARD-60.
[5] Charles L. Forgy,et al. Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .
[6] Alex Groce,et al. Formal Analysis of Log Files , 2010, J. Aerosp. Comput. Inf. Commun..
[7] Wolfram Schulte,et al. FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings , 2011, FM.
[8] Howard Barringer,et al. Checking Flight Rules with TraceContract: Application of a Scala DSL for Trace Analysis , 2011 .
[9] Ondrej Lhoták,et al. Adding trace matching with free variables to AspectJ , 2005, OOPSLA '05.
[10] Grigore Rosu,et al. An overview of the MOP runtime verification framework , 2012, International Journal on Software Tools for Technology Transfer.
[11] Howard Barringer,et al. TraceContract: A Scala DSL for Trace Analysis , 2011, FM.
[12] Howard Barringer,et al. Rule Systems for Run-time Monitoring: from Eagle to RuleR , 2010, J. Log. Comput..