OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL

Hace 9 años 613 Visualizaciones

Automated detection and resolution of legal cross references

Hace 9 años 824 Visualizaciones

Worst-Case Scheduling of Software Tasks

Hace 9 años 621 Visualizaciones

MiL Testing of Highly Configurable Continuous Controllers

Hace 9 años 717 Visualizaciones

Automatic Checking of Conformance to Requirements Boilerplates

Hace 9 años 508 Visualizaciones

Improving Requirements Glossary Construction via Clustering

Hace 9 años 345 Visualizaciones

Minimizing CPU Shortage Risks in Integrated Embedded Software

Hace 9 años 381 Visualizaciones

Keynote SBST 2014 - Search-Based Testing

Hace 9 años 2337 Visualizaciones

Software Engineering Research: Leading a Double-Agent Life.

Hace 10 años 13943 Visualizaciones