J
José Carlos Maldonado
Researcher at University of São Paulo
Publications - 247
Citations - 4220
José Carlos Maldonado is an academic researcher from University of São Paulo. The author has contributed to research in topics: Software development & Software construction. The author has an hindex of 36, co-authored 242 publications receiving 3959 citations. Previous affiliations of José Carlos Maldonado include National Autonomous University of Mexico & University of California, Los Angeles.
Papers
More filters
Proceedings ArticleDOI
Replicating software engineering experiments: addressing the tacit knowledge problem
Forrest Shull,Victor R. Basili,Jeffrey C. Carver,José Carlos Maldonado,Guilherme Horta Travassos,Manoel Mendonça,Sandra Fabbri +6 more
TL;DR: It is reasoned that the availability of laboratory packages for experiments can encourage better replications and complementary studies, and even with effectively specified laboratory packages, transfer of experimental know-how can still be difficult.
Journal ArticleDOI
Toward the determination of sufficient mutant operators for C
TL;DR: This work investigates procedures for the determination of a sufficient mutant operators set for C programs with the perspective of contributing to the establishment of low‐cost, effective mutation‐based testing strategies.
Proceedings ArticleDOI
Mutation analysis testing for finite state machines
TL;DR: The application of the mutation analysis criterion in the context of specifications based on finite state machines is proposed, and evidences are given that the use of mutation analysis is effective in this context.
Journal ArticleDOI
Knowledge-Sharing Issues in Experimental Software Engineering
Forrest Shull,Manoel G. Mendoncça,Victor R. Basili,Jeffrey C. Carver,José Carlos Maldonado,Sandra Fabbri,Guilherme Horta Travassos,Maria Cristina Ferreira +7 more
TL;DR: An instantiation of the Nonaka–Takeuchi Model for software engineering experimentation is described, establishing a framework for discussing knowledge sharing issues related to experimental software engineering.
Proceedings ArticleDOI
Mutation testing applied to validate specifications based on statecharts
TL;DR: A mutation operator set for statecharts, one of the crucial points for effectively applying mutation testing is defined, and strategies to abstract the statechart components according to different statechart features that may comprise the testing and validation activity aims are provided.