Browse by Author "Chen, Feng"

  • Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore (2011-10-14)
    This paper shows that it is possible to build a maximal and sound causal model for concurrent computations from a given execution trace. It is sound, in the sense that any program which can generate a trace can also ...

    application/pdf

    application/pdfPDF (590Kb)
  • Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore (2008-09)
    ACM Classification: F.3.2 Semantics of Programming Languages D.2.4 Software/Program Verification D.2.5 Testing and Debugging

    application/pdf

    application/pdfPDF (265Kb)
  • Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore (2008-09)
    ACM Classification: F.3.2 Semantics of Programming Languages D.2.4 Software/Program Verification D.2.5 Testing and Debugging

    application/pdf

    application/pdfPDF (265Kb)
  • Chen, Feng; Lee, Choonghwan; Rosu, Grigore (2010-03-05)
    Mining formal specifications from program executions has numerous applications in software analysis, from program understanding and modeling to testing and bug detection. Parametric specifications carry parameters that ...

    application/pdf

    application/pdfPDF (919Kb)
  • Lee, Choonghwan; Chen, Feng; Rosu, Grigore (2010-08-24)
    Specifications carrying formal parameters that are bound to concrete data at runtime can effectively and elegantly capture multi-object behaviors or protocols. Unfortunately, parametric specifications are not easy to ...

    application/pdf

    application/pdfPDF (2Mb)
  • Chen, Feng; Rosu, Grigore (2008-09)
    This paper presents an approach to mine parametric state-based specifications from execution traces, which can involve multiple components. We first discuss a general framework for mining parametric properties from execution ...

    application/pdf

    application/pdfPDF (163Kb)
  • Chen, Feng; Rosu, Grigore (2008-09)
    This paper presents an approach to mine parametric state-based specifications from execution traces, which can involve multiple components. We first discuss a general framework for mining parametric properties from execution ...

    application/pdf

    application/pdfPDF (163Kb)
  • Chen, Feng (2009-08-17)

    application/pdf

    application/pdfPDF (2Mb)
  • Chen, Feng; d'Amorim, Marcelo; Rosu, Grigore (2004-03)
    This paper presents a tool-supported methodological paradigm for object-oriented software development, called monitoring-oriented programming and abbreviated MOP, in which runtime monitoring is a basic software design ...

    application/pdf

    application/pdfPDF (462Kb)
  • Chen, Feng; Rosu, Grigore (2007-03)
    Monitoring-Oriented Programming (MOP) is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms, along with code to execute ...

    application/pdf

    application/pdfPDF (206Kb)
  • Chen, Feng; Rosu, Grigore (2006-10)
    Monitoring-Oriented Programming (MOP) is a formal framework for software development and analysis. It aims at reducing the gap between formal specification and implementation via runtime monitoring. In MOP, the developer ...

    application/pdf

    application/pdfPDF (121Kb)
  • Chen, Feng; Rosu, Grigore (2007-01)
    Happen-before causal partial order relations have been widely used in concurrent program verification and testing. In this paper, we present a parametric approach to happen-before causal partial orders. All existing variants ...

    application/pdf

    application/pdfPDF (130Kb)
  • Chen, Feng; Rosu, Grigore (2006-04)
    A parametric approach to control dependence is presented, where the parameter is any prefix-invariant property on paths in the control-flow graph. Existing control dependencies, both direct and indirect, can be obtained ...

    application/pdf

    application/pdfPDF (156Kb)
  • Rosu, Grigore; Chen, Feng (2008-07)
    Trace analysis plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining. Recent research efforts bring empirical evidence that execution ...

    application/pdf

    application/pdfPDF (649Kb)
  • Hills, Mark; Chen, Feng; Rosu, Grigore (2008-01)
    Many programs make implicit assumptions about data. Common assumptions include whether a variable has been initialized or can only contain non-null references. Domain-specific examples are also common, with many scientific ...

    application/pdf

    application/pdfPDF (270Kb)
  • Chen, Feng; Rosu, Grigore (2005-11)
    A runtime analysis technique is presented, which can predict errors in multi-threaded systems by examining event traces generated by executions of these systems even when they are successful. The technique is based on a ...

    application/pdf

    application/pdfPDF (268Kb)
  • Chen, Feng; Rosu, Grigore (2006-04)
    A runtime analysis technique is presented, which can predict concurrency errors in multithreaded systems by observing potentially non-erroneous executions. It builds upon a novel causal partial order, sliced causality, ...

    application/pdf

    application/pdfPDF (157Kb)
  • Chen, Feng; Rosu, Grigore (2005-07)
    We present a technique to predict property violations in multi-threaded programs from successful executions. An appealing aspect of our technique is that it is entirely automatic; another is that no special simulation or ...

    application/pdf

    application/pdfPDF (365Kb)
  • Chen, Feng; Hills, Mark; Rosu, Grigore (2006-03)
    This paper introduces a framework for rapid prototyping of object oriented programming languages and corresponding analysis tools. It is based on formal definitions of language features in rewrite logic, a simple and ...

    application/pdf

    application/pdfPDF (257Kb)
  • Rosu, Grigore; Chen, Feng; Ball, Thomas (2007-10)
    We present an extension of past time LTL with call/return atoms, called ptCaRet, together with a monitor synthesis algorithm for it. ptCaRet includes abstract variants of past temporal operators, which can express properties ...

    application/pdf

    application/pdfPDF (257Kb)