Author:
Balasubramanian Daniel,Păsăreanu Corina S.,Karsai Gábor,Lowry Michael R.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3) (June 1987)
2. Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Comp. Sci. Dept. Aarhus University, Denmark (1981)
3. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE (1999)
4. Balasubramanian, D., Pap, G., Nine, H., Karsai, G., Lowry, M.R., Pasareanu, C.S., Pressburger, T.: Rapid property specification and checking for model-based formalisms. In: International Symposium on Rapid System Prototyping (2011)
5. Java pathfinder,
http://babelfish.arc.nasa.gov/trac/jpf
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献