UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

An orchestrated survey of methodologies for automated software test case generation

The Journal of systems and software, 2013-08, Vol.86 (8), p.1978-2001

2013

Volltextzugriff (PDF)

JPF–SE: A Symbolic Execution Extension to Java PathFinder

Tools and Algorithms for the Construction and Analysis of Systems, p.134-138

Volltextzugriff (PDF)

Apposcopy: semantics-based detection of Android malware through static analysis

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014, p.576-587

2014

Volltextzugriff (PDF)

Automated concolic testing of smartphone apps

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 2012, p.1-11

2012

Volltextzugriff (PDF)

Demand-Driven Compositional Symbolic Execution

Tools and Algorithms for the Construction and Analysis of Systems, p.367-381

Volltextzugriff (PDF)

Symbolic execution with abstraction

International journal on software tools for technology transfer, 2009-02, Vol.11 (1), p.53-67

2009

Volltextzugriff (PDF)

Specification Inference Using Context-Free Language Reachability

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015, p.553-566

2015

Volltextzugriff (PDF)

Techniques to facilitate symbolic execution of real-world programs

Anand, Saswat

2012

Volltextzugriff (PDF)

Symbolic execution with abstraction: Special Section on Spin

International journal on software tools for technology transfer, 2009, Vol.11 (1), p.53-67

2009

Volltextzugriff (PDF)

Symbolic Execution with Abstract Subsumption Checking

Lecture notes in computer science, 2006, p.163-181

2006

Volltextzugriff (PDF)

Heap cloning: Enabling dynamic symbolic execution of java programs

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011, p.33-42

2011

Volltextzugriff (PDF)

Specification Inference Using Context-Free Language Reachability

SIGPLAN notices, 2015-05, Vol.50 (1), p.553-566

2015

Volltextzugriff (PDF)

Modelgen: mining explicit information flow specifications from concrete executions

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015, p.129-140

2015

Volltextzugriff (PDF)

Interactively verifying absence of explicit information flows in Android apps

SIGPLAN notices, 2015-12, Vol.50 (10), p.299-315

2015

Volltextzugriff (PDF)

Type-Dependence Analysis and Program Transformation for Symbolic Execution

Tools and Algorithms for the Construction and Analysis of Systems, p.117-133

Volltextzugriff (PDF)

Apposcopy: automated detection of Android malware (invited talk)

Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014, p.13-14

2014

Volltextzugriff (PDF)

Symbolic Execution with Interval Solving and Meta-heuristic Search

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 2012, p.111-120

2012

Volltextzugriff (PDF)

Precise interface identification to improve testing and analysis of web applications

Proceedings of the eighteenth international symposium on Software testing and analysis, 2009, p.285-296

2009

Volltextzugriff (PDF)

Charting patterns on price history

International Conference on Functional Programming: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming; 03-05 Sept. 2001, 2001, p.134-145

2001

Volltextzugriff (PDF)