Symbolic Message Sequence Charts
暂无分享,去创建一个
Bikram Sengupta | Abhik Roychoudhury | Ankit Goel | Abhik Roychoudhury | B. Sengupta | Ankit Goel | Bikram Sengupta
[1] Thierry Jéron,et al. TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .
[2] Jan Tretmans,et al. A Symbolic Framework for Model-Based Testing , 2006, FATES/RV.
[3] Antonio Bucchiarone,et al. TESTOR: deriving test sequences from model-based specifications , 2005, CBSE'05.
[4] Finn Kristoffersen,et al. Cinderella SLIPPER: An SDL to C-Code Generator , 2005, SDL Forum.
[5] David Harel,et al. LSC'S: BREATHING LIFE INTO MESSAGE SEQUENCE CHARTS , 2022 .
[6] Abhik Roychoudhury,et al. Synthesis and Traceability of Scenario-Based Executable Models , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
[7] Thierry Jéron,et al. An Approach to Symbolic Test Generation , 2000, IFM.
[8] Aamer Nadeem,et al. A state-based approach to integration testing based on UML models , 2007, Inf. Softw. Technol..
[9] Manfred Broy,et al. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) , 2005 .
[10] Tao Wang,et al. Symbolic Execution of Behavioral Requirements , 2004, PADL.
[11] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[12] Giorgio Delzanno. Automatic Verification of Parameterized Cache Coherence Protocols , 2000, CAV.
[13] Giovanni Denaro,et al. ACM Transactions on Software Engineering and Methodology : Volume 22, Nomor 4, 2013 , 2014 .
[14] David Harel,et al. LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..
[15] Eda Marchetti,et al. The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects , 2002, UML.
[16] A. Jefferson Offutt,et al. Integration testing of object‐oriented components using finite state machines , 2006, Softw. Test. Verification Reliab..
[17] Thierry Jéron,et al. A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2005 .
[18] Sebastián Uchitel,et al. Negative scenarios for implied scenario elicitation , 2002, SIGSOFT '02/FSE-10.
[19] A. Jefferson Offutt,et al. Generating Tests from UML Specifications , 1999, UML.
[20] David Harel,et al. Multiple instances and symbolic variables in executable sequence charts , 2002, OOPSLA '02.
[21] Jan Tretmans,et al. Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.
[22] Hendrik Brinksma,et al. Côte de Resyste : Automated Model Based Testing , 2002 .
[23] Doo-Hwan Bae,et al. A test sequence selection method for statecharts , 2000, Softw. Test. Verification Reliab..
[24] David Harel,et al. Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .
[25] Alexander Pretschner,et al. One evaluation of model-based testing and its automation , 2005, ICSE.
[26] P. S. Thiagarajan,et al. Interacting process classes , 2009, TSEM.
[27] The XSB Logic Programming System , 2007 .
[28] Harald Störrle. Semantics of interactions in UML 2.0 , 2003, HCC.
[29] Insup Lee,et al. Automatic Test Generation From Statecharts Using Model Checking , 2001 .
[30] Jan Friso Groote,et al. Congruence for SOS with data , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
[31] Ingolf Krüger,et al. Broadcast MSCs , 2004, Formal Aspects of Computing.
[32] Michel A. Reniers,et al. Message sequence chart : syntax and semantics , 1999 .
[33] Anca Muscholl,et al. Specifying and Verifying Partial Order Properties Using Template MSCs , 2004, FoSSaCS.
[34] Dieter Hogrefe,et al. Autolink-a tool for automatic test generation from SDL specifications , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.
[35] Jean-Marc Jézéquel,et al. Test Synthesis from UML Models of Distributed Software , 2007, IEEE Transactions on Software Engineering.
[36] Jüri Vain,et al. Model-Based Testing of Reactive Systems , 2009 .
[37] Wolfgang Grieskamp,et al. Multi-paradigmatic Model-Based Testing , 2006, FATES/RV.
[38] Mohammad Reza Mousavi,et al. Congruence for SOS with data , 2004, LICS 2004.
[39] A. Pretschner. Classical search strategies for test case generation with Constraint Logic Programming , 2001 .
[40] Lionel C. Briand,et al. A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.
[41] Amir Pnueli,et al. Liveness with (0, 1, ∞)-counter abstraction , 2002 .
[42] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[43] T. Kanade. Model-Based Testing of Reactive Systems , 2005 .
[44] Doo-Hwan Bae,et al. A test sequence selection method for statecharts , 2000 .
[45] Kjeld Høyer Mortensen. Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System , 2000, ICATPN.
[46] Hillel Kugler,et al. Testing Scenario-Based Models , 2007, FASE.
[47] Eda Marchetti,et al. Introducing a Reasonably Complete and Coherent Approach for Model-based Testing , 2005, TACoS.
[48] Michel A. Reniers,et al. Operational Semantics for MSC'96 , 1999, Comput. Networks.
[49] K. D. Joshi. Foundations of discrete mathematics , 1989 .
[50] Jiro Tanaka,et al. Code generation from UML statecharts , 2003, ICSE 2003.
[51] Sung Deok Cha,et al. Generating test sequences from a set of MSCs , 2003, Comput. Networks.
[52] Amir Pnueli,et al. Liveness with (0, 1, infty)-Counter Abstraction , 2002, CAV.
[53] Stephan Merz,et al. Model Checking - Timed UML State Machines and Collaborations , 2002, FTRTFT.
[54] Itu-T. Specification and Description Language (SDL) , 1999 .
[55] Falk Fraikin,et al. SeDiTeC-testing based on sequence diagrams , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[56] 王啟旭,et al. MOST(Media Oriented System Transport)網路之影音伺服器設計 , 2006 .
[57] Bikram Sengupta,et al. Footprinter: Round-trip engineering via scenario and state based models , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.
[58] Rance Cleaveland,et al. Triggered message sequence charts , 2002, SIGSOFT '02/FSE-10.
[59] Frank Maurer,et al. Using UML to Partially Automate Generation of Scenario-Based Test Drivers , 2001, OOIS.
[60] Jeff Magee,et al. Negative scenarios for implied scenario elicitation , 2002, FSE 2002.
[61] David Harel,et al. Come, Let’s Play , 2003, Springer Berlin Heidelberg.