Data structure invariants play a key role in checking correctness of code, eg, a model
checker can use an invariant, eg, acyclicity of a binary tree, that is written in the form of an …

As software systems grow in complexity, the need for efficient automated techniques for
design, testing and verification becomes more and more critical. Specification-based testing …

Programs written in languages such as Java and C# maintain most of their state on the
heap. The size and complexity of these programs pose a challenge in understanding and …

As software systems are growing in complexity and size, reliability becomes a major
concern. A large degree of industrial and academic efforts for increasing software reliability …

We present mechanisms to specify and efficiently check, at runtime, assertions that express
structural properties and aggregate measures of dynamically manipulated linkedlist data …

Data structure properties are important for many testing and analysis tasks. For example,
model checkers use these properties to find program faults. These properties are often …

Debugging a fault in a program is an error-prone and resource-intensive process that
requires considerable work. My doctoral research aims at supporting developers during this …

In this study, halloysite nanotubes (HNTs) were used to reinforce chitosan hydrogels, and
built a biocompatible, biodegradable and sustained drug release system. The …

In specification-based test generation, sometimes having a formal specification is not
sufficient, since the specification may be in a different formalism from that required by the …

Programmers oftentimes need to perform complex transformations on data. This can happen
when translating between data formats, when merging and integrating multiple data …