Model Checking Techniques for Test Generation from Business Process Models
暂无分享,去创建一个
[1] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[2] Remco M. Dijkman,et al. Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..
[3] Didier Buchs,et al. Prototyping Object Oriented Specifications , 2003, ICATPN.
[4] Farn Wang. Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings , 2005, FORTE.
[5] Didier Buchs,et al. Toward efficient state space generation of algebraic Petri nets , 2010 .
[6] Marko Samer,et al. Technology of Test-Case Generation , 2004, Model-Based Testing of Reactive Systems.
[7] Silva Lúcio,et al. SATEL — A test intention language for object-oriented specifications of reactive systems , 2009 .
[8] Emmanuelle Encrenaz-Tiphène,et al. Data Decision Diagrams for Petri Net Analysis , 2002, ICATPN.
[9] Wil M. P. van der Aalst,et al. Applications and Theory of Petri Nets 2003 , 2003, Lecture Notes in Computer Science.
[10] Marco Pistore,et al. Nusmv version 2: an opensource tool for symbolic model checking , 2002, CAV 2002.
[11] Peter Fettke,et al. Business Process Modeling Notation , 2008, Wirtschaftsinf..
[12] Jean-Michel Couvreur,et al. Hierarchical Decision Diagrams to Exploit Model Structure , 2005, FORTE.
[13] Javier Esparza,et al. Application and Theory of Petri Nets 2002 , 2002, Lecture Notes in Computer Science.
[14] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.