Guilherme Kisselofl Coracini

Publications

Citations

H-Index

2018

Active since

Affiliations

Instituto Tecnológico de Aeronáutica(Current)

Guilherme Kisselofl Coracini is an author at Instituto Tecnológico de Aeronáutica specializing in formal verification, software engineering, and system software.

Top concepts

EngineeringVerificationSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering

Publications per year

2018–2018

Publications

Integrating model checking and model based testing for industrial software development

Emília Villani, Rodrigo Pastl Pontes, Guilherme Kisselofl Coracini et al. · Computers in Industry · 2018 · 27 citations

Software Maintenance, Industrial Software Development, Engineering +14

Rows per page

1–1 of 1