Scenario path identification for distributed systems: A graph based approach
暂无分享,去创建一个
[1] Wei Liu,et al. Tool Support to Deriving Test Scenarios from UML Activity Diagrams , 2008, 2008 International Symposium on Information Science and Engineering.
[2] Debasish Kundu,et al. A novel approach to system testing and reliability assessment using use case model , 2008, ISEC '08.
[3] Wei Liu,et al. Towards Formalizing UML Activity Diagrams in CSP , 2008, 2008 International Symposium on Computer Science and Computational Technology.
[4] Gustavo Rau de Almeida Callou,et al. A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints , 2009, 2009 Third International Conference on Digital Society.
[5] Faiza Belala,et al. A synchronization schema in activity diagrams via zero-safe-nets , 2009, 2009 IEEE/ACS International Conference on Computer Systems and Applications.
[6] Ananya Kanjilal,et al. Integration of Design in Distributed Development Using D-Scenario Graph , 2008, 2008 IEEE International Conference on Global Software Engineering.
[7] Fabio Gadducci,et al. Specifying and Verifying UML Activity Diagrams Via Graph Transformation , 2004, Global Computing.
[8] Rik Eshuis,et al. Tool support for verifying UML activity diagrams , 2004, IEEE Transactions on Software Engineering.
[9] Ananya Kanjilal,et al. Code Based Analysis for Object-Oriented Systems , 2006, Journal of Computer Science and Technology.
[10] Debasish Kundu,et al. A Novel Approach to Generate Test Cases from UML Activity Diagrams , 2009, J. Object Technol..
[11] Mourad Debbabi,et al. On the Meaning of SysML Activity Diagrams , 2009, 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems.