◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

R. Degiovanni

20 papers hereh-index 13393 citations50 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author2
  • middle author16
  • last author2

Across the 20 of 20 papers where every author was matched, so the position is known.

fields
  • cs.SE18
  • cs.CR2

identity via Semantic Scholar / OpenAlex

activity
20142026
most citedCerebro: Static Subsuming Mutant Selection

32 citations · 61 across the 19 of their papers we have counts for

collaborators
Showing 2014Show all

1 paper · 1 filter

cs.SE2014

Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni

Tabular notations, in particular SCR specifications, have proved to be a useful means for formally describing complex requirements. The SCR method offers a powerful family of analy…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.