Runtime monitoring of functional component changes with behavior models

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

Volumn 7167 LNCS, Issue , 2012, Pages 152-166

  Ghezzi, Carlo ^a   Mocci, Andrea ^b   Sangiorgio, Mario ^a  

^a POLITECNICO DI MILANO   (Italy)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOR MODEL; CONTINUOUS MONITORING; FUNCTIONAL COMPONENTS; NEW COMPONENTS; OPEN ENVIRONMENT; RUN-TIME VERIFICATION; RUNTIME MONITORING; RUNTIMES;

ARTIFICIAL INTELLIGENCE;

SOFTWARE ENGINEERING;

EID: 84860627356     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29645-1_17     Document Type: Conference Paper

References (15)

1. Oracle, java se 6.0 doc. (2011), http://download.oracle.com/javase/6/ docs/index.html
2. Spy at runtime (2011), http://home.dei.polimi.it/mocci/spy/runtime/
3. Baresi, L., Guinea, S.: Self-supervising bpel processes. In: IEEE TSE (2011)
4. Dallmeier, V., Knopp, N., Mallon, C., Hack, S., Zeller, A.: Generating test cases for specification mining. In: ISSTA 2010, Trento, Italy (2010)
5. de Caso, G., Braberman, V., Garbervetsky, D., Uchitel, S.: Automated abstractions for contract validation. In: IEEE TSE (2010)
6. Di Nitto, E., Ghezzi, C., Metzger, A., Papazoglou, M., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. In: ASE (2008)
7. Ghezzi, C., Mocci, A., Monga, M.: Synthesizing intensional behavior models by graph transformation. In: ICSE 2009, Vancouver, Canada (2009)
8. Guttag, J.V., Liskov, B.: Program Development in Java: Abstraction, Specification and Object-Oriented Design. Addison-Wesley (2001)
9. Hooman, J., Hendriks, T.: Model-based run-time error detection. In: Models@ run.time 2007, Nashville, USA (2007)
10. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press (2006)
11. Maoz, S.: Using model-based traces as runtime models. Computer (2009)
12. Mocci, A.: Behavioral Modeling, Inference and Validation for Stateful Component Specifications. Ph.D. thesis, Politecnico di Milano, Milano, Italy (2010)
13. Morin, B., Barais, O., Jezequel, J.-M., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. Computer 42(10), 44-51 (2009)
14. Murphy, C., Kaiser, G., Vo, I., Chu, M.: Quality assurance of software applications using the in vivo testing approach. In: ICST 2009, Denver, Colorado (2009)
15. Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. In: IEEE TSE (1986)