Research on CPN Model Reduction Focus on Parallel Tested Behaviors
暂无分享,去创建一个
Wei Zhang | Xin Guo | Tao Sun | Xiaoyun Wan
[1] Lai Ming. Formalize the Time-extended UML Statechart with Timed Automata , 2003 .
[2] Chen Zhang,et al. Reducing scheduling sequences of message-passing parallel programs , 2016, Inf. Softw. Technol..
[3] Dun-Wei Gong,et al. Test data generation for path coverage of message-passing parallel programs based on co-evolutionary genetic algorithms , 2014, Automated Software Engineering.
[4] Lars Michael Kristensen,et al. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.
[5] Siu Cheung Hui,et al. Submodular Memetic Approximation for Multiobjective Parallel Test Paper Generation , 2017, IEEE Transactions on Cybernetics.
[6] Wang Xiao-jun. Research on Automatic Generating Test Case Method Based on UML Activity Diagram , 2010 .
[7] Sun Xuejiao and Liu Jinglei. On the Satisfiability and Consistency for CP-nets , 2012 .
[8] Sagar Chaki,et al. Parallel Software Model Checking , 2015 .
[9] Luo Gui-ming. Research of model checking UML , 2007 .