Paulo César Masiero

Learn More
This paper presents a formal definition for HMBS (Hypermedia Model Based on Statecharts). HMBS uses the structure and execution semantics of statecharts to specify both the structural organization and the browsing semantics of hypermedia applications. Statecharts are an extension of finite-state machines and the model is thus a generalization of(More)
The application of the Mutation Analysis criterion in the context of specifiation based on Finite State Machine is proposed. The main concepts of Finite State Machine and of Mutation Analysis are briefly introduced. An experiment is reported which manually applied Mutation Analysis to a finite state machine modeling a Class 0 I S 0 Transport Protocol(More)
We present CodeGenie, a tool that implements a test-driven approachto search and reuse of code available on large-scale coderepositories. While using CodeGenie developers design test cases fora desired feature first, similar to Test-driven Development (TDD).However, instead of implementing the feature as in TDD, CodeGenieautomatically searches for it based(More)
In this paper we present a navigation-oriented model for hyperdocument specification based on statecharts. The HMBS (Hypertext Model Based on Statecharts) model uses the structure and execution semantics of statecharts to specify both the structural organization and the browsing semantics of a hyperdocument. The formal definition of the model is presented,(More)
Pointcut Descriptors (PCDs) are used to specify sets of program join points with a common property where additional behavior should be applied. If PCDs are wrongly formulated, faults are injected into the program, because additional behavior will be applied to unintended join points or will fail to be applied to intended join points. In this paper we(More)