Accelerating smart play-out

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5901 LNCS, Issue , 2010, Pages 477-488

  Harel, David ^a   Kugler, Hillel ^b   Maoz, Shahar ^a   Segall, Itai ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPILER OPTIMIZATIONS; COMPUTATION METHODS; FORMAL VERIFICATIONS; PERFORMANCE IMPROVEMENTS; SCENARIO-BASED SPECIFICATIONS; SOUNDNESS AND COMPLETENESS;

SPECIFICATIONS;

COMPUTER SCIENCE;

EID: 77249152264     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11266-9_40     Document Type: Conference Paper

References (16)

1. Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. IEEE Trans. Software Eng. 29(7), 623-633 (2003)
2. Broy, M.: A Semantic and Methodological Essence of Message Sequence Charts. Sci. Comput. Program. 54(2-3), 213-256 (2005)
3. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Form. Meth. in Sys. Design 19(1), 45-80 (2001)
4. Harel, D., Marelly, R.: Come Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
5. Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29(2), 99-115 (2003)
6. ITU: International Telecommunication Union Recommendation Z.120: Message Sequence Charts. Technical report (1996)
7. Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart Play-out of Behavioral Requirements. In: Aagaard, M.D., O'Leary, J.W. (eds.) FMCAD 2002. LNCS, vol. 2517, pp. 378-398. Springer, Heidelberg (2002)
8. Harel, D., Kugler, H., Maoz, S., Segall, I.: How Hard is Smart Play-Out? On the Complexity of Verification-Driven Execution. In: Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), pp. 208-230. University Press, India (2009)
9. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
10. Harel, D., Kugler, H., Maoz, S., Segall, I.: Accelerating Smart Play-Out. Technical Report, Weizmann Institute of Science (2009)
11. Harel, D., Segall, I.: Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 485-499. Springer, Heidelberg (2007)
12. Combes, P., Harel, D., Kugler, H.: Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. Int. J. Soft. Sys. Mod (SoSyM) 7(2), 157-175 (2008)
13. Callahan, D., Cooper, K.D., Kennedy, K., Torczon, L.: Interprocedural Constant Propagation. In: Proc. SIGPLAN Symp. on Compiler Construction (CC 1986), pp. 152-161. ACM, New York (1986)
14. Korel, B., Yalamanchili, S.: Forward Computation of Dynamic Program Slices. In: Proc. ACM SIGSOFT Int. Symp. on Software Testing and Analysis (ISSTA 1994), pp. 66-79. ACM, New York (1994)
15. Krüger, I.: Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 387-402. Springer, Heidelberg (2003)
16. Pezzé, M., Young, M.: Software Testing and Analysis: Process, Principles and Techniques. John Wiley & Sons, Chichester (2008)