Steven T. Stewart

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 3

Top Topics

Dynamic Analysis

Pareto Optimal Set

Integer Arithmetic

Multi Objective Genetic Algorithm

Top Venues

NFPinDSML@MoDELS

Publications

William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. CoRR (2019)
William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. ISSRE (2019)
Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki
Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. VSTTE (2016)
Rafael Olaechea, Steven T. Stewart, Krzysztof Czarnecki, Derek Rayside
Modelling and multi-objective optimization of quality attributes in variability-rich software. NFPinDSML@MoDELS (2012)
Steven T. Stewart, Eric Aubanel, Patricia A. Evans
Finding Common RNA Secondary Structures: A Case Study on the Dynamic Parallelization of a Data-driven Recurrence. IPDPS Workshops (2012)