Ana Maria Ambrósio

Publications

229

Citations

H-Index

1996

Active since

Affiliations

Instituto Nacional de Pesquisas Espaciais(Current)

Universidade Estadual de Campinas (UNICAMP)

Instituto Tecnológico de Aeronáutica

Ana Maria Ambrósio is an author at Instituto Nacional de Pesquisas Espaciais specializing in engineering, systems engineering, and software engineering.

ORCID

Top concepts

EngineeringSystems EngineeringSoftware EngineeringSoftware DesignSystem SoftwareSoftware AnalysisComputer EngineeringVerificationComputer ScienceProgram Analysis

Publications per year

1996–2022

Publications

ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems

Eliane Martins, Selma B. Sabião, Ana Maria Ambrósio · Software Quality Journal · 1999 · 30 citations

ConData: a tool for automating specification-based test case generation for communication systems

Eliane Martins, Selma B. Sabião, Ana Maria Ambrósio · 2005 · 28 citations

Engineering, Verification, Test Data Generation +23

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

Applying Data Mining for Detecting Anomalies in Satellites

Denise Rotondi Azevedo, Ana Maria Ambrósio, Marco Vieira · 2012 · 21 citations

Telemetry, Anomaly Detection, Engineering +16

A Conformance Testing Process for Space Applications Software Services

Ana Maria Ambrósio, Eliane Martins, Nandamudi L. Vijaykumar et al. · Journal of Aerospace Computing Information and Communication · 2006 · 19 citations

Software Maintenance, Engineering, Verification +19

Rows per page

1–5 of 14