Patterns in property specifications for finite-state verification
Dwyer, Matthew B., Avrunin, George S., Corbett, James C.
Published in Proceedings / International Conference on Software Engineering (1999)
Published in Proceedings / International Conference on Software Engineering (1999)
Get full text
Conference Proceeding
Journal Article
Data flow analysis for checking properties of concurrent Java programs
Naumovich, Gleb, Avrunin, George S., Clarke, Lori A.
Published in Proceedings / International Conference on Software Engineering (1999)
Published in Proceedings / International Conference on Software Engineering (1999)
Get full text
Conference Proceeding
Journal Article
Heuristic-based model refinement for FLAVERS
Tan, J., Avrunin, G.S., Clarke, L.A.
Published in Proceedings. 26th International Conference on Software Engineering (2004)
Published in Proceedings. 26th International Conference on Software Engineering (2004)
Get full text
Conference Proceeding
Analyzing partially-implemented real-time systems
Avrunin, G.S., Corbett, J.C., Dillon, L.K.
Published in IEEE transactions on software engineering (01.08.1998)
Published in IEEE transactions on software engineering (01.08.1998)
Get full text
Journal Article
Analyzing partially-implemented real-time systems
Avrunin, George S., Corbett, James C., Dillon, Laura K.
Published in Proceedings / International Conference on Software Engineering (01.01.1997)
Published in Proceedings / International Conference on Software Engineering (01.01.1997)
Get full text
Conference Proceeding
Journal Article
Automated analysis of concurrent systems with the constrained expression toolset
Avrunin, G.S., Buy, U.A., Corbett, J.C., Dillon, L.K., Wileden, J.C.
Published in IEEE transactions on software engineering (01.11.1991)
Published in IEEE transactions on software engineering (01.11.1991)
Get full text
Journal Article
Automated derivation of time bounds in uniprocessor concurrent systems
Avrunin, G.S., Corbett, J.C., Dillon, L.K., Wileden, J.C.
Published in IEEE transactions on software engineering (01.09.1994)
Published in IEEE transactions on software engineering (01.09.1994)
Get full text
Journal Article
PROPEL: an approach supporting property elucidation
Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.
Published in Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 (2002)
Published in Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 (2002)
Get full text
Conference Proceeding
Toward automating analysis support for developers of distributed software
Wileden, J.C., Avrunin, G.S.
Published in [1988] Proceedings. The 8th International Conference on Distributed (1988)
Published in [1988] Proceedings. The 8th International Conference on Distributed (1988)
Get full text
Conference Proceeding