output
20052026
most citedNaming the Pain in Requirements Engineering: Contemporary Problems, Causes, and Effects in Practice

279 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2019 · cs.SEShow all

1 paper · 2 filters

cs.SE2019★ 1 cited

Boost the Impact of Continuous Formal Verification in Industry

Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro

Software model checking has experienced significant progress in the last two decades, however, one of its major bottlenecks for practical applications remains its scalability and a…