Steven de Oliveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | SeaCoral: A Collaborative Test Generation Toolset for Industrial Orchestration of Testing Tools. | Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet |
| 2023 | SAC | An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. | Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat |
| 2017 | ATVA | Synthesizing Invariants by Solving Solvable Loops. | Steven de Oliveira, Saddek Bensalem, Virgile Prevosto |
| 2016 | ATVA | Polynomial Invariants by Linear Algebra. | Steven de Oliveira, Saddek Bensalem, Virgile Prevosto |