Details
Title
Bucur, Stefan
Sciper ID
194697
Affiliated labs
DSLAB
Publications
Automated Software Testing as a Service (TaaS)
Efficient State Merging in Symbolic Execution
Efficient State Merging in Symbolic Execution
Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces
Making Automated Testing of Cloud Applications an Integral Component of PaaS
Parallel symbolic execution for automated real-world software testing
Prototyping Symbolic Execution Engines for Interpreted Languages
Efficient State Merging in Symbolic Execution
Efficient State Merging in Symbolic Execution
Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces
Making Automated Testing of Cloud Applications an Integral Component of PaaS
Parallel symbolic execution for automated real-world software testing
Prototyping Symbolic Execution Engines for Interpreted Languages
Link to search
All resources
Record appears in
Authorities > People