Article

Combining Slicing and Constraint Solving for Validation of Measurement Software

Author:

Gregor SneltingAuthors Info & Claims

SAS '96: Proceedings of the Third International Symposium on Static Analysis

Pages 332 - 348

Published: 24 September 1996 Publication History

Abstract

No abstract available.

Cited By

View all

Angerer FGrimmer APrähofer HGrünbacher P(2019)Change impact analysis for maintenance and evolution of variable software systemsAutomated Software Engineering10.1007/s10515-019-00253-726:2(417-461)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10515-019-00253-7
Breitner JGraf JHecker MMohr MSnelting G(2016)On Improvements of Low-Deterministic SecurityProceedings of the 5th International Conference on Principles of Security and Trust - Volume 963510.5555/3089491.3089496(68-88)Online publication date: 2-Apr-2016
https://dl.acm.org/doi/10.5555/3089491.3089496
Rodrigues BQuintão Pereira FAranha DZaks AHermenegildo M(2016)Sparse representation of implicit flows with applications to side-channel detectionProceedings of the 25th International Conference on Compiler Construction10.1145/2892208.2892230(110-120)Online publication date: 17-Mar-2016
https://dl.acm.org/doi/10.1145/2892208.2892230
Show More Cited By

Recommendations

Solving dynamic constraint optimization problems using ICHEA
ICONIP'12: Proceedings of the 19th international conference on Neural Information Processing - Volume Part III

Many real-world constrained problems have a set of predefined static constraints that can be solved by evolutionary algorithms (EAs) whereas some problems have dynamic constraints that may change over time or may be received by the problem solver at run ...
Use of constraint solving in order to generate test vectors for behavioral validation
HLDVT '00: Proceedings of the IEEE International High-Level Validation and Test Workshop (HLDVT'00)

Validation of VHDL descriptions at the early phases of the microelectronic design is one of the most time consuming task design. This paper presents a test vector generation method for behavioral VHDL design. This method analyzes control and dependence ...
Slicing-based Hardware/Software Co-design Methodology From Functional Specifications

Program slicing is a software analysis technique and generates System Dependence Graphs (SDGs) by which dependences among program statements can be identified. In this paper, we propose a new hardware-software co-design methodology based on the static ...

Comments

Information & Contributors

Information

Published In

SAS '96: Proceedings of the Third International Symposium on Static Analysis

September 1996

387 pages

ISBN:3540617396

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 24 September 1996

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Angerer FGrimmer APrähofer HGrünbacher P(2019)Change impact analysis for maintenance and evolution of variable software systemsAutomated Software Engineering10.1007/s10515-019-00253-726:2(417-461)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10515-019-00253-7
Breitner JGraf JHecker MMohr MSnelting G(2016)On Improvements of Low-Deterministic SecurityProceedings of the 5th International Conference on Principles of Security and Trust - Volume 963510.5555/3089491.3089496(68-88)Online publication date: 2-Apr-2016
https://dl.acm.org/doi/10.5555/3089491.3089496
Rodrigues BQuintão Pereira FAranha DZaks AHermenegildo M(2016)Sparse representation of implicit flows with applications to side-channel detectionProceedings of the 25th International Conference on Compiler Construction10.1145/2892208.2892230(110-120)Online publication date: 17-Mar-2016
https://dl.acm.org/doi/10.1145/2892208.2892230
Arzt SRasthofer SHahn RBodden EMøller ANaik M(2015)Using targeted symbolic execution for reducing false-positives in dataflow analysisProceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis10.1145/2771284.2771285(1-6)Online publication date: 14-Jun-2015
https://dl.acm.org/doi/10.1145/2771284.2771285
Angerer FGrimmer APrähofer HGrünbacher PCohen MGrunske LWhalen M(2015)Configuration-aware change impact analysisProceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2015.58(385-395)Online publication date: 9-Nov-2015
https://dl.acm.org/doi/10.1109/ASE.2015.58
Giffhorn DSnelting G(2015)A new algorithm for low-deterministic securityInternational Journal of Information Security10.1007/s10207-014-0257-614:3(263-287)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1007/s10207-014-0257-6
Angerer FPrähofer HLettner DGrimmer AGrünbacher PFantechi AGnesi S(2014)Identifying inactive code in product lines with configuration-aware system dependence graphsProceedings of the 18th International Software Product Line Conference - Volume 110.1145/2648511.2648517(52-61)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2648511.2648517
Matos JGarcia JRomano P(2014)REAPProceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 841010.1007/978-3-642-54833-8_24(453-472)Online publication date: 5-Apr-2014
https://dl.acm.org/doi/10.1007/978-3-642-54833-8_24
Tateishi TPistoia MTripp O(2013)Path- and index-sensitive string analysis based on monadic second-order logicACM Transactions on Software Engineering and Methodology10.1145/2522920.252292622:4(1-33)Online publication date: 22-Oct-2013
https://dl.acm.org/doi/10.1145/2522920.2522926
Tateishi TPistoia MTripp ODwyer MTip F(2011)Path- and index-sensitive string analysis based on monadic second-order logicProceedings of the 2011 International Symposium on Software Testing and Analysis10.1145/2001420.2001441(166-176)Online publication date: 17-Jul-2011
https://dl.acm.org/doi/10.1145/2001420.2001441
Show More Cited By

Abstract

Cited By

Recommendations

Solving dynamic constraint optimization problems using ICHEA

Use of constraint solving in order to generate test vectors for behavioral validation

Slicing-based Hardware/Software Co-design Methodology From Functional Specifications

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations