article

Software testing using model programs

Authors:

L. I. Manolache,

D. G. KourieAuthors Info & Claims

Software—Practice & Experience, Volume 31, Issue 13

Pages 1211 - 1236

https://doi.org/10.1002/spe.409

Published: 30 October 2001 Publication History

Abstract

No abstract available.

Cited By

View all

Santiesteban PHuang YWeimer WAhmad H(2023)CirFix: Automated Hardware Repair and its Real-World ApplicationsIEEE Transactions on Software Engineering10.1109/TSE.2023.326989949:7(3736-3752)Online publication date: 1-Jul-2023
https://dl.acm.org/doi/10.1109/TSE.2023.3269899
Ahmad HHuang YWeimer WFalsafi BFerdman MLu SWenisch T(2022)CirFix: automatically repairing defects in hardware design codeProceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3503222.3507763(990-1003)Online publication date: 28-Feb-2022
https://dl.acm.org/doi/10.1145/3503222.3507763
Leotta MOlianas DRicca F(2022)A large experimentation to analyze the effects of implementation bugs in machine learning algorithmsFuture Generation Computer Systems10.1016/j.future.2022.03.004133:C(184-200)Online publication date: 1-Aug-2022
https://dl.acm.org/doi/10.1016/j.future.2022.03.004
Show More Cited By

Index Terms

Software testing using model programs

Recommendations

An Empirical Analysis of Test Oracle Strategies for Model-Based Testing
ICST '14: Proceedings of the 2014 IEEE International Conference on Software Testing, Verification, and Validation

Model-based testing is a technique to design abstract tests from models that partially describe the system's behaviour. Abstract tests are transformed into concrete tests, which include test input values, expected outputs, and test oracles. Although ...
Software testing using imprecise OCL constraints as oracles
CompSysTech '07: Proceedings of the 2007 international conference on Computer systems and technologies

Many software testing techniques are targeted on test data generation. Only a few of them provide an automatic way to verify if software behaves correctly using generated test data. We propose to use software model as imprecise test oracle. UML ...
Is It the Best Solution? Testing an Optimisation Algorithm with Metamorphic Testing
Product-Focused Software Process Improvement
Abstract
Optimisation algorithms play a vital role in solving complex real-world problems by iteratively comparing various solutions to find the optimal or the best solution. However, testing them poses challenges due to their “non-testable” nature, where ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Software Volume 31, Issue 13

November 10, 2001

102 pages

ISSN:0038-0644

EISSN:1097-024X

Issue’s Table of Contents

Publisher

John Wiley & Sons, Inc.

United States

Publication History

Published: 30 October 2001

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Santiesteban PHuang YWeimer WAhmad H(2023)CirFix: Automated Hardware Repair and its Real-World ApplicationsIEEE Transactions on Software Engineering10.1109/TSE.2023.326989949:7(3736-3752)Online publication date: 1-Jul-2023
https://dl.acm.org/doi/10.1109/TSE.2023.3269899
Ahmad HHuang YWeimer WFalsafi BFerdman MLu SWenisch T(2022)CirFix: automatically repairing defects in hardware design codeProceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3503222.3507763(990-1003)Online publication date: 28-Feb-2022
https://dl.acm.org/doi/10.1145/3503222.3507763
Leotta MOlianas DRicca F(2022)A large experimentation to analyze the effects of implementation bugs in machine learning algorithmsFuture Generation Computer Systems10.1016/j.future.2022.03.004133:C(184-200)Online publication date: 1-Aug-2022
https://dl.acm.org/doi/10.1016/j.future.2022.03.004
Leotta MOlianas DRicca FNoceti NHung CPapadopoulos G(2019)How do implementation bugs affect the results of machine learning algorithms?Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297411(1304-1313)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297411
Yang YJiang YZuo ZWang YSun HLu HZhou YXu BZimmermann TLawall JMarinov D(2019)Automatic self-validation for code coverage profilersProceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2019.00018(79-90)Online publication date: 10-Nov-2019
https://dl.acm.org/doi/10.1109/ASE.2019.00018
Chen TKuo FLiu HPoon PTowey DTse TZhou Z(2018)Metamorphic TestingACM Computing Surveys10.1145/314356151:1(1-27)Online publication date: 4-Jan-2018
https://dl.acm.org/doi/10.1145/3143561
khan Miftikhar SIqbal MSherin S(2018)Empirical studies omit reporting necessary detailsComputer Standards & Interfaces10.1016/j.csi.2017.08.00255:C(156-170)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.1016/j.csi.2017.08.002
Patel KHierons R(2018)A mapping study on testing non-testable systemsSoftware Quality Journal10.1007/s11219-017-9392-426:4(1373-1413)Online publication date: 1-Dec-2018
https://dl.acm.org/doi/10.1007/s11219-017-9392-4
Baresi LDelamaro MNardi P(2017)Test oracles for simulink-like modelsAutomated Software Engineering10.1007/s10515-016-0207-924:2(369-391)Online publication date: 1-Jun-2017
https://dl.acm.org/doi/10.1007/s10515-016-0207-9
García BDueñas J(2015)Web browsing automation for applications quality controlJournal of Web Engineering10.5555/2871274.287128014:5-6(474-502)Online publication date: 1-Nov-2015
https://dl.acm.org/doi/10.5555/2871274.2871280
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

An Empirical Analysis of Test Oracle Strategies for Model-Based Testing

Software testing using imprecise OCL constraints as oracles

Is It the Best Solution? Testing an Optimisation Algorithm with Metamorphic Testing

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations