Media type: E-Book; Report Title: Combined Static and Dynamic Analysis Contributor: Artho, Cyrille [Author]; Biere, Armin [Author] imprint: ETH, Department of Computer Science, 2005 Published in: Technical report, 466 Language: English DOI: https://doi.org/20.500.11850/69788; https://doi.org/10.3929/ethz-a-006775577 Keywords: JAVA (PROGRAMMING LANGUAGES) ; COMPUTING TIME + RUNNING TIME (COMPUTER SYSTEMS) ; RECHENZEIT + LAUFZEIT (COMPUTERSYSTEME) ; JAVA (PROGRAMMIERSPRACHEN) ; VERIFIKATION (SOFTWARE ENGINEERING) ; VERIFICATION (SOFTWARE ENGINEERING) ; computer science ; Data processing Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted