James F. Power

Peter J. Clarke, James F. Power, Djuradj Babich, Tariq M. King: A testing strategy for abstract classes. Softw. Test., Verif. Reliab. 22(3): 147-169 (2012)

Zheng Cheng, Rosemary Monahan, James F. Power: A Simple Complexity Measurement for Software Verification and Software Testing. COMPARE 2012: 28-31

Hao Wu, Rosemary Monahan, James F. Power: Metamodel Instance Generation: A systematic literature review. CoRR abs/1211.6322 (2012)

Djuradj Babich, Peter J. Clarke, James F. Power, B. M. Golam Kibria: Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT. SAC 2011: 1419-1424

James F. Power, Thomas Whelan, Susan Bergin: Teaching discrete structures: a systematic review of the literature. SIGCSE 2011: 275-280

Markus Aleksy, Vasco Amaral, Ralf Gitzel, James F. Power, John Waldron: PPPJ special issue-Foreword. Sci. Comput. Program. 74(5-6): 259-260 (2009)

Jonathan M. Lambert, James F. Power: Platform Independent Timing of Java Virtual Machine Bytecode Instructions. Electr. Notes Theor. Comput. Sci. 220(3): 97-113 (2008)

Mark Hennessy, James F. Power: Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software. Empirical Software Engineering 13(4): 343-368 (2008)

Markus Aleksy, Ralf Gitzel, John Waldron, James F. Power: PPPJ 2006 special issue - foreword. Sci. Comput. Program. 70(2-3): 87-88 (2008)

Jacqueline A. McQuillan, James F. Power: A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy. ICST 2008: 288-297

Nicholas A. Kraft, Brian A. Malloy, James F. Power: An infrastructure to support interoperability in reverse engineering. Information & Software Technology 49(3): 292-307 (2007)

Nicholas A. Kraft, Brian A. Malloy, James F. Power: A tool chain for reverse engineering C++ applications. Sci. Comput. Program. 69(1-3): 3-13 (2007)

Peter J. Clarke, Djuradj Babich, Tariq M. King, James F. Power: Intra-Class Testing of Abstract Class Features. ISSRE 2007: 191-200

Steven Kearney, James F. Power: REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools. SEKE 2007: 209-214

Áine Mitchell, James F. Power: A study of the influence of coverage on the relationship between static and dynamic coupling metrics. Sci. Comput. Program. 59(1-2): 4-25 (2006)

Brian A. Malloy, James F. Power: Exploiting design patterns to automate validation of class invariants. Softw. Test., Verif. Reliab. 16(2): 71-95 (2006)

Mark Hennessy, James F. Power: Ensuring behavioural equivalence in test-driven porting. CASCON 2006: 377

Jacqueline A. McQuillan, James F. Power: On the Application of Software Metrics to UML Models. MoDELS Workshops 2006: 217-226

Jacqueline A. McQuillan, James F. Power: Experiences of using the Dagstuhl Middle Metamodel for defining software metrics. PPPJ 2006: 194-198

David Gregg, James F. Power, John Waldron: A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites. Concurrency - Practice and Experience 17(7-8): 757-773 (2005)

David Sinclair, James F. Power: Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. Electr. Notes Theor. Comput. Sci. 133: 255-273 (2005)

James F. Power, John Waldron: Editorial. Sci. Comput. Program. 54(1): 1-2 (2005)

Nicholas A. Kraft, Brian A. Malloy, James F. Power: g4re: Harnessing GCC to Reverse Engineer C++ Applications. Transformation Techniques in Software Engineering 2005

Stephen Brown, Áine Mitchell, James F. Power: A Coverage Analysis of Java Benchmark Suites. IASTED Conf. on Software Engineering 2005: 144-149

Mark Hennessy, James F. Power: An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software. ASE 2005: 104-113

Áine Mitchell, James F. Power: Using object-level run-time metrics to study coupling between objects. SAC 2005: 1456-1462

Brian A. Malloy, James F. Power: Exploiting UML dynamic object modeling for the visualization of C++ programs. SOFTVIS 2005: 105-114

Brian A. Malloy, James F. Power: Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams. VL/HCC 2005: 233-240

Nicholas A. Kraft, Brian A. Malloy, James F. Power: Toward an Infrastructure to Support Interoperability in Reverse Engineering. WCRE 2005: 196-205

James F. Power, David Sinclair: A Formal Model of Forth Control Words in the Pi-Calculus. J. UCS 10(9): 1272-1293 (2004)

James F. Power, Brian A. Malloy: A metrics suite for grammar-based software. Journal of Software Maintenance 16(6): 405-426 (2004)

Diarmuid O'Donoghue, James F. Power: Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs. ESA/VLSI 2004: 192-198

Áine Mitchell, James F. Power: An empirical investigation into the dimensions of run-time coupling in Java programs. PPPJ 2004: 9-14

Áine Mitchell, James F. Power: Run-Time Cohesion Metrics: An Empirical Investigation. Software Engineering Research and Practice 2004: 532-537

David Gregg, James F. Power, John Waldron: Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite. Concurrency and Computation: Practice and Experience 15(3-5): 459-484 (2003)

Brian A. Malloy, Tanton H. Gibbs, James F. Power: Decorating tokens to facilitate recognition of ambiguous language constructs. Softw., Pract. Exper. 33(1): 19-39 (2003)

Mark Hennessy, Brian A. Malloy, James F. Power: gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT. IWPC 2003: 298-

James F. Power, John Waldron (Eds.): Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003. ACM International Conference Proceeding Series 42, ACM 2003, isbn 0-9544145-1-9

David Gregg, James F. Power, John Waldron: Measuring the impact of object-oriented techniques in grande applications: a method-level analysis. Java Grande 2002: 229

Tanton H. Gibbs, Brian A. Malloy, James F. Power: Automated Validation of Class Invariants in C ++ Applications. ASE 2002: 205-

Diarmuid O'Donoghue, Aine Leddy, James F. Power, John Waldron: Bigram analysis of Java bytecode sequences. PPPJ/IRE 2002: 187-192

David C. Rine, James F. Power, J. Paul Gibson: ACM SAC2002 software engineering: theory and applications (SETA) track description. SAC 2002: 969-970

James F. Power, Brian A. Malloy: Program Annotation in XML: A Parse-Tree Based Approach. WCRE 2002: 190-

John Waldron, James F. Power (Eds.): Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002. ACM International Conference Proceeding Series 25, ACM 2002, isbn 0-901519-87-1

Charlie Daly, Jane Horgan, James F. Power, John Waldron: Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite. Java Grande 2001: 106-115

James F. Power, Brian A. Malloy: Exploiting metrics to facilitate grammar transformation into LALR format. SAC 2001: 636-640

Jane Horgan, James F. Power, John Waldron: Measurement and Analysis of Runtime Profiling Data for Java Programs. SCAM 2001: 124-132

L. Cosgrave, James F. Power, John Waldron: An object oriented approach to parser generation in C++. South African Computer Journal 26: 207-211 (2000)

David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton: Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification 2000: E104-E110

James F. Power, Brian A. Malloy: Metric-Based Analysis of Context-Free Grammars. IWPC 2000: 171-178

James F. Power, Brian A. Malloy: An Approach for Modeling the Name Lookup Problem in the C++ Programming Language. SAC (2) 2000: 792-796

James F. Power, Brian A. Malloy: Symbol Table Construction and Name Lookup in ISO C++. TOOLS (37) 2000: 57-69

David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power: Four Logics and a Protocol. IWFM 1999