MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Combined Static and Dynamic Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

63 documents found, showing 1 through 10. Next 10 →

ATOM

Combined static and dynamic analysis
by Cyrille Artho, Armin Biere — 2005 — In Proc. AIOOL ’05, ENTCS
…Combined Static and Dynamic Analysis Cyrille Artho 1 and Armin Biere 2 1 Computer Systems…
Cited by 5 (3 self) – Add To MetaCart

Combined Static and Dynamic Analysis for Effective Buffer Minimization in Streaming XQuery
by Michael Schmidt, Stefanie Scherzinger, Christoph Koch — 2007 — in Proc. ICDE
…Combined Static and Dynamic Analysis for Effective Buffer Minimization in Streaming XQuery…
Cited by 6 (1 self) – Add To MetaCart

Testing Hypotheses in an Engineering Domain: Combining Static and Dynamic Analysis of Pneumatic
by Janine Willms, Hermann Göhler, Claus Möbus
…Testing Hypotheses in an Engineering Domain: Combining Static and Dynamic Analysis of Pneumatic…
Add To MetaCart

Combining static and dynamic analysis for automatic identification of precise access
by Paolina Centonze — 2007 — In Proc. 23rd Annual Computer Security Applications Conference (ACSAC). IEEE
…Combining Static and Dynamic Analysis for Automatic Identification of Precise Access…
Cited by 1 (0 self) – Add To MetaCart

PathCrawler: automatic generation of path tests by combining static and dynamic analysis
by Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger — 2005 — In: Proc. European Dependable Computing Conference. Volume 3463 of LNCS (2005) 281–292
…PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis Nicky…
Cited by 4 (0 self) – Add To MetaCart

Workshop on program comprehension through dynamic analysis (PCODA
by Abdelwahab Hamou-lhadj — 2005 — In WCRE
… would typically necessitate a combination of static and dynamic analysis techniques. The aim…
Cited by 1 (0 self) – Add To MetaCart

A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets
by Monika Heiner, Peter Deusen — 1996
… properties is done by a suitable combination of static and dynamic analysis techniques of Petri net theory…
Add To MetaCart

Visualizing feature interaction in 3-d
by Orla Greevy, Michele Lanza, Christoph Wysseier — 2005 — In Proceedings of Vissoft 2005 (3th IEEE International Workshop on Visualizing Software for Understanding
… 3D visualization technique based on a combination of static and dynamic analysis which enables…
Cited by 4 (1 self) – Add To MetaCart

A Method for Determining Testing Scenarios for Parallel and Distributed Software
by Henryk Krawczyk, Bogdan Wiszniewski — 1996
… software. It is based on simulation of software behavior and combines static and dynamic analysis…
Cited by 1 (0 self) – Add To MetaCart

Measuring Precision for Static and Dynamic Design Pattern Recognition as a Function of Coverage
by unknown authors
… with sufficient precision using only static analysis; we need to combine static and dynamic analysis…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB