Irma Isordia-Salas, Robin A. Pixley, Fengling Li , Irma Sainz, R Balfour Sartor, Albert Adam and Robert W. Colman. The Sol Sherry Thrombosis Research Center, Temple University School of Medicine, Philadelphia, PA 19140, USA; Center for Gastrointestinal Biology and Disease, Departments of Medicine, Microbiology and Immunology, University of North Carolina, Chapel Hill, NC, 27599, USA; Department...

1 Parque Tecnológico de Belo Horizonte, Rua Professor José Vieira de Mendonça N 770, Salas 406 e 407, Engenho Nogueira, 31310-260 Belo Horizonte, MG, Brazil 2 Departamento Regional da Bahia, Centro Integrado de Manufatura e Tecnologia, SENAI, Avenida Orlando Gomes N 1845, Piatã, 41650-010 Salvador, BA, Brazil 3 Departamento de Electromagnetismo y Fı́sica de la Materia Facultad de Ciencias, Unive...

Cohort Profile: Design and methods of the PREDIMED study Miguel Ángel Martı́nez-González,1*y Dolores Corella, Jordi Salas-Salvadó, Emilio Ros, Marı́a Isabel Covas, Miquel Fiol, Julia Wärnberg, Fernando Arós, Valentina Ruı́z-Gutiérrez, Rosa Marı́a Lamuela-Raventós, Jose Lapetra, Miguel Ángel Muñoz, José Alfredo Martı́nez, Guillermo Sáez, Lluis Serra-Majem, Xavier Pintó, Marı́a Teresa Mitjavila, Josep ...

Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable of detecting these anticipated errors. This work presents a method of fault-based test case generation for preand postcondition specifications. Here, errors are anticipated on the specification level by mutating the pr...