University of Limerick Institutional Repository

Browsing SQRL - Software Quality Research Laboratory by Title

DSpace/Manakin Repository

Browsing SQRL - Software Quality Research Laboratory by Title

Sort by: Order: Results:

  • Feng, Xin; Parnas, David Lorge (IEEE Computer Society, 2007)
    Tabular expressions were proposed as a documentation tool that can be used to document software precisely and unambiguously. This paper explores the applications of four testing strategies in tabular expression-based ...
  • Xiao-Hui, Jin (2005)
    This thesis presents a systematic, rigorous inspection approach for concurrent programs. The approach has been successfully applied to a classic concurrent program of the Readers/Writers problem. In the inspection process, ...
  • Clermont, Markus; Parnas, David Lorge (IEEE Computer Society, 2005)
    We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal program bugs. Our approach assumes that so-called ...

Search DSpace


Advanced Search

Browse

My Account