Search results for "tracematches"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Eric Bodden, Reehan Shaikh, Laurie J. Hendren	Relational aspects as tracematches.	AOSD	2008	DBLP DOI BibTeX RDF	control-flow abstraction, inter-object relationships, aspect-oriented programming, high-level design
77	Nomair A. Naeem, Ondrej Lhoták	Typestate-like analysis of multiple interacting objects.	OOPSLA	2008	DBLP DOI BibTeX RDF	tracematches, static analysis, typestate
69	Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	Adding trace matching with free variables to AspectJ.	OOPSLA	2005	DBLP DOI BibTeX RDF	aspect-oriented programming, program monitoring
46	Eric Bodden, Patrick Lam 0001, Laurie J. Hendren	Finding programming errors earlier by evaluating runtime monitors ahead-of-time.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	machine learning, static analysis, runtime verification, points-to analysis, static verification
46	Eric Bodden, Laurie J. Hendren, Ondrej Lhoták	A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring.	ECOOP	2007	DBLP DOI BibTeX RDF
40	Eric Bodden, Laurie J. Hendren, Patrick Lam 0001, Ondrej Lhoták, Nomair A. Naeem	Collaborative Runtime Verification with Tracematches.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
40	Eric Bodden, Laurie J. Hendren, Patrick Lam 0001, Ondrej Lhoták, Nomair A. Naeem	Collaborative Runtime Verification with Tracematches.	RV	2007	DBLP DOI BibTeX RDF
31	Dominik Stein, Stefan Hanenberg	Comparison of a Visual and a Textual Notation to Express Data Constraints in Aspect-Oriented Join Point Selections: A Controlled Experiment.	ICPC	2011	DBLP DOI BibTeX RDF	Join Point Selection, Join Point Designation Diagrams, Tracematches, Data Constraints, Controlled Experiment, Aspect-Oriented Software Development, Pointcut
31	Nomair A. Naeem, Ondrej Lhoták	Validating temporal properties of interacting objects.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	tracematches, static analysis, typestate
23	Eric Bodden, Feng Chen 0006, Grigore Rosu	Dependent advice: a general approach to optimizing history-based aspects.	AOSD	2009	DBLP DOI BibTeX RDF	compilation, domain-specific languages, runtime verification, static program analysis
23	Feng Chen 0006, Grigore Rosu	Mop: an efficient and generic runtime verification framework.	OOPSLA	2007	DBLP DOI BibTeX RDF	monitoring-oriented programming, aspect-oriented programming, runtime verification
23	Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa	A Fine-Grained Join Point Model for More Reusable Aspects.	APLAS	2006	DBLP DOI BibTeX RDF
23	Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere	Aspects for Trace Monitoring.	FATES/RV	2006	DBLP DOI BibTeX RDF