Automating test-based inspection of design models von Rocha, Anne Caroline O., Ramalho, Franklin, Machado, Patrícia D. L.

Volltext

Testing interruptions in reactive systems von Andrade, Wilkerson L., Machado, Patrícia D. L.

Volltext

Generating Test Cases for Real-Time Systems Based on Symbolic Models von Andrade, W. L., Machado, P. D. L.

Volltext

Testing real-time systems from compositional symbolic specifications von Damasceno, Adriana C., Machado, Patricia D. L., Andrade, Wilkerson L.

Volltext

Prioritizing test cases for early detection of refactoring faults von Alves, Everton L. G., Machado, Patrícia D. L., Massoni, Tiago, Kim, Miryung

Volltext

Refactoring Inspection Support for Manual Refactoring Edits von Alves, Everton L. G., Myoungkyu Song, Massoni, Tiago, Machado, Patricia D. L., Miryung Kim

Volltext

Automatic generation of built-in contract test drivers von Alves, Everton L. G., Machado, Patricia D. L., Ramalho, Franklin

Volltext

Test case prioritization techniques for model-based testing: a replicated study von Ouriques, João Felipe S., Cartaxo, Emanuela G., Machado, Patrícia D. L.

Volltext

Testing tools for Android context-aware applications: a systematic mapping von Almeida, Diego R., Machado, Patrícia D. L., Andrade, Wilkerson L.

Volltext

On the use of a similarity function for test case selection in the context of model-based testing von Cartaxo, Emanuela G., Machado, Patrícia D. L., Neto, Francisco G. Oliveira

Volltext

Full modification coverage through automatic similarity-based test case selection von de Oliveira Neto, Francisco G., Torkar, Richard, Machado, Patrícia D.L.

Volltext

Unit Testing for Casl Architectural Specifications von Machado, Patricia D. L., Sannella, Donald

Volltext

A family of test selection criteria for Timed Input-Output Symbolic Transition System models von Moraes, Alan, Andrade, Wilkerson L., Machado, Patrícia D.L.

Volltext

Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008) von Machado, Patrícia D.L.

Volltext

Interruption Testing of Reactive Systems von Andrade, Wilkerson L., Machado, Patrícia D. L.

Volltext

Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS von Andrade, Wilkerson L., Machado, Patrícia D. L., Alves, Everton L. G., Almeida, Diego R.

Volltext

Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report von C. S. Coutinho, Jarbele, L. Andrade, Wilkerson, D. L. Machado, Patrícia

Volltext

The Rôle of Normalisation in Testing from Structured Algebraic Specifications von Machado, Patricia D. L.

Volltext

Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems von Almeida, Diego R., Moraes, Alan, Andrade, Wilkerson L., Machado, Patrícia D. L.

Volltext

Generating interaction test cases for mobile phone systems from use case specifications von de Figueiredo, André L. L., Andrade, Wilkerson L., Machado, Patrícia D. L.

Volltext