Information Technology Reference
In-Depth Information
9. Bodden, E., Lam, P., Hendren, L.: Object representatives: A uniform abstraction
for pointer information. In: International Conference on Visions of Computer Sci-
ence: BCS International Academic Conference (VoCS), pp. 391-405. British Com-
puter Society, Swinton (2008)
10. Bodden, E., Lam, P., Hendren, L.: Clara: A framework for partially evaluating finite-
state runtime monitors ahead of time. In: Barringer, H., et al. (eds.) RV 2010. LNCS,
vol. 6418, pp. 183-197. Springer, Heidelberg (2010)
11. Chen, F., Rosu, G.: Mop: An ecient and generic runtime verification framework.
In: 22nd Annual ACM SIGPLAN Conference on Object-oriented Programming
Systems and Applications (OOPSLA), pp. 569-588. ACM, New York (2007)
12. Dwyer, M.B., Purandare, R.: Residual dynamic typestate analysis exploiting static
analysis: Results to reformulate and reduce the cost of dynamic analysis. In: 22nd
IEEE/ACM International Conference on Automated Software Engineering (ASE),
pp. 124-133. ACM, New York (2007)
13. Fink, S., Yahav, E., Dor, N., Ramalingam, G., Geay, E.: Effective typestate veri-
fication in the presence of aliasing. In: 15th International Symposium on Software
Testing and Analysis (ISSTA), pp. 133-144. ACM, New York (2006)
14. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M.,
Irwin, J.: Aspect-oriented Programming. Springer (1997)
15. Kruger, I.H., Lee, G., Meisinger, M.: Automating software architecture exploration
with m2aspects. In: International Workshop on Scenarios and State Machines:
Models, Algorithms, and Tools (SCESM), pp. 51-58. ACM, New York (2006)
16. Maoz, S., Harel, D.: From multi-modal scenarios to code: Compiling lscs into as-
pectj. In: 14th ACM SIGSOFT International Symposium on Foundations of Soft-
ware Engineering (SIGSOFT/FSE), pp. 219-230. ACM, New York (2006)
17. Masuhara, H., Kiczales, G., Dutchyn, C.: A compilation and optimization model
for aspect-oriented programs. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622,
pp. 46-60. Springer, Heidelberg (2003)
18. Naeem, N.A., Lhotak, O.: Typestate-like analysis of multiple interacting objects.
In: 23rd ACM SIGPLAN Conference on Object-oriented Programming Systems
Languages and Applications (OOPSLA), pp. 347-366. ACM, New York (2008)
19. Pradel, M., Jaspan, C., Aldrich, J., Gross, T.R.: Statically checking api protocol
conformance with mined multi-object specifications. In: 34th International Confer-
ence on Software Engineering (ICSE). IEEE Press, Piscataway (2012)
20. Purandare, R.: Exploiting Program and Property Structure for Ecient Runtime
Monitoring. Ph.D. thesis, University of Nebraska-Lincoln (2011)
21. Purandare, R., Dwyer, M.B., Elbaum, S.: Monitor optimization via stutter-
equivalent loop transformation. In: 25th International Conference on Object Ori-
ented Programming Systems Languages and Applications (OOPSLA), pp. 270-285.
ACM, New York (2010)
22. Slaughter, S.A., Harter, D.E., Krishnan, M.S.: Evaluating the cost of software
quality. Communications of the ACM 41(8), 67-73 (1998)
23. Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhanc-
ing software reliability. IEEE Transactions on Software Engineering 12(1), 157-171
(1986)
