Article

Towards a Theory for Integration of Mathematical Verification and Empirical Testing

Authors:

M. Lowry,

M. Boyd,

D. KulkarniAuthors Info & Claims

ASE '98: Proceedings of the 13th IEEE international conference on Automated software engineering

Page 322

Published: 13 October 1998 Publication History

Publisher Site

Abstract

No abstract available.

Cited By

View all

Tu HNair VBaysal OMenzies T(2018)Is one hyperparameter optimizer enough?Proceedings of the 4th ACM SIGSOFT International Workshop on Software Analytics10.1145/3278142.3278145(19-25)Online publication date: 5-Nov-2018
https://dl.acm.org/doi/10.1145/3278142.3278145
Agrawal AMenzies TChaudron MCrnkovic IChechik MHarman M(2018)Is "better data" better than "better data miners"?Proceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180197(1050-1061)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180197
Krishna RMenzies TFu WLo DApel SKhurshid S(2016)Too much automation? the bellwether effect and its implications for transfer learningProceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering10.1145/2970276.2970339(122-131)Online publication date: 25-Aug-2016
https://dl.acm.org/doi/10.1145/2970276.2970339
Show More Cited By

Towards a Theory for Integration of Mathematical Verification and Empirical Testing
1. Theory of computation

Recommendations

Towards verification and testing of Java programs
SAC '08: Proceedings of the 2008 ACM symposium on Applied computing

Testing object-oriented programs is still a hard task, despite many studies on criteria to better cover the test space. Test criteria establish requirements one want to achieve in testing programs to help in finding software defects. On the other hand, ...
Towards a model based approach for integration testing
SDL'11: Proceedings of the 15th international conference on Integrating System and Software Modeling

In this paper, we introduce a model based approach for integration test cases generation. The approach is based on UML 2 Testing Profile and follows the Mode-Driven Architecture for generating integration test cases from unit test models. The generated ...
An Observational Theory of Integration Testing for Component-Based Software Development
COMPSAC '01: Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development

Integration testing plays a crucial role in component-based software development. In complementary to the existing works on the selection of test cases and measurement of test adequacy in integration testing, this paper focuses on questions about how to ...

Comments

Information & Contributors

Information

Published In

ASE '98: Proceedings of the 13th IEEE international conference on Automated software engineering

October 1998

ISBN:0818687509

Publisher

IEEE Computer Society

United States

Publication History

Published: 13 October 1998

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tu HNair VBaysal OMenzies T(2018)Is one hyperparameter optimizer enough?Proceedings of the 4th ACM SIGSOFT International Workshop on Software Analytics10.1145/3278142.3278145(19-25)Online publication date: 5-Nov-2018
https://dl.acm.org/doi/10.1145/3278142.3278145
Agrawal AMenzies TChaudron MCrnkovic IChechik MHarman M(2018)Is "better data" better than "better data miners"?Proceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180197(1050-1061)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180197
Krishna RMenzies TFu WLo DApel SKhurshid S(2016)Too much automation? the bellwether effect and its implications for transfer learningProceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering10.1145/2970276.2970339(122-131)Online publication date: 25-Aug-2016
https://dl.acm.org/doi/10.1145/2970276.2970339
Zhang HNelson AMenzies TMenzies TKoru G(2010)On the value of learning from defect dense components for software defect predictionProceedings of the 6th International Conference on Predictive Models in Software Engineering10.1145/1868328.1868350(1-9)Online publication date: 12-Sep-2010
https://dl.acm.org/doi/10.1145/1868328.1868350
Menzies TMilton ZTurhan BCukic BJiang YBener A(2010)Defect prediction from static code featuresAutomated Software Engineering10.1007/s10515-010-0069-517:4(375-407)Online publication date: 1-Dec-2010
https://dl.acm.org/doi/10.1007/s10515-010-0069-5
Menzies TOwen DRichardson J(2007)The Strangest Thing About SoftwareComputer10.1109/MC.2007.3740:1(54-60)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.1109/MC.2007.37
Hall R(2002)Specification, Validation, and Synthesis of Email Agent ControllersAutomated Software Engineering10.1023/A:10163725071619:3(233-261)Online publication date: 1-Aug-2002
https://dl.acm.org/doi/10.1023/A%3A1016372507161
Hall RHeimdahl M(2000)Specification, validation, and synthesis of email agent controllersProceedings of the third workshop on Formal methods in software practice10.1145/349360.351126(13-23)Online publication date: 24-Aug-2000
https://dl.acm.org/doi/10.1145/349360.351126
Menzies TCukic B(2000)When to Test LessIEEE Software10.1109/52.87787617:5(107-112)Online publication date: 1-Sep-2000
https://dl.acm.org/doi/10.1109/52.877876

Abstract

Cited By

Recommendations

Towards verification and testing of Java programs

Towards a model based approach for integration testing

An Observational Theory of Integration Testing for Component-Based Software Development

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations