Search Results for 'execution path'
execution path published presentations and documents on DocSlides.
Symbolic Execution and Software Testing
by debby-jeon
Corina. . Pasareanu. Carnegie Mellon/NASA Ames. ...
Binary Concolic Execution for Automatic Exploit Generation
by test
Todd Frederick. Vulnerabilities are everywhere…...
Symbolic Execution for Software Testing in Practice – Pre
by myesha-ticknor
Cristian. . Cadar. , Patrice . Godefroid. , . Sa...
Path-aware Time-triggered Runtime Verification
by phoebe-click
Samaneh Navabpour. 1. , . Borzoo. Bonakdarpour. ...
Querying Workflow Provenance
by giovanna-bartolotta
Susan B. Davidson. University of Pennsylvania. Jo...
©Sudhakar Yalamanchili unless otherwise noted
by danika-pritchard
Reducing Branch Divergence in GPU Programs. . T....
VanarSena: Automated App Testing
by lindy-dunigan
App Testing. Test the app for . performance probl...
Predicting Performance Impact of DVFS
by ellena-manuel
for Realistic Memory Systems. Rustam Miftakhutdin...
CSV 889: Concurrent Software Verification
by ellena-manuel
Subodh Sharma. Indian Institute of Technology Del...
Symbolic-Numeric Reachability
by giovanna-bartolotta
Analysis of . Closed-Loop Control Software. Adity...
Autonomous Cyber-Physical Systems:
by faustina-dinatale
Fairness, Monitors and Branching-Time Logics. Spr...
RiskRanker : Scalable and Accurate Zero-day Android Malware Detection
by relylancome
Grace. M, Zhou. Y, . Shilong. . Z, Jiang. . X. Ris...