Works matching DE "COMPUTER software testing"

Results: 1897

Optimization of Computer-Assisted English Teaching System Under VC Visualization Software.

Published in:

Computer-Aided Design & Applications, 2022, v. 19, p. 161, doi. 10.14733/cadaps.2022.S1.161-172

By:

Yu Chen;
Wuding Yu

Publication type:

Article

Generative Design: An Explorative Study.

Published in:

Computer-Aided Design & Applications, 2021, v. 18, n. 1, p. 144, doi. 10.14733/cadaps.2021.144-155

By:

Buonamici, Francesco;
Carfagni, Monica;
Furferi, Rocco;
Volpe, Yary;
Governi, Lapo

Publication type:

Article

Testing Implementations of Geometric Dimensioning and Tolerancing in CAD Software.

Published in:

Computer-Aided Design & Applications, 2020, v. 17, n. 6, p. 1241, doi. 10.14733/cadaps.2020.1241-1265

By:

Lipman, Robert R.;
Filliben, James J.

Publication type:

Article

Cyclic back shift method for maximizing PV array power under partial shading.

Published in:

Electrical Engineering, 2025, v. 107, n. 5, p. 6135, doi. 10.1007/s00202-024-02855-1

By:

Ramesh, Dongara;
Anbalagan, Karthikeyan

Publication type:

Article

Üç Fazlı NNK Şebeke Bağlantılı Fotovoltaik Eviriciler için YSA Tabanlı Kontrolörlerin Uygulanması.

Published in:

Afyon Kocatepe University Journal of Science & Engineering / Afyon Kocatepe Üniversitesi Fen Ve Mühendislik Bilimleri Dergisi, 2025, v. 25, n. 3, p. 544, doi. 10.35414/akufemubid.1559119

By:

YAĞAN, Yunus Emre;
VARDAR, Kadir

Publication type:

Article

广义多项式混沌框架下软件可靠性增长模型的数值解法.

Published in:

Journal of Frontiers of Computer Science & Technology, 2025, v. 19, n. 6, p. 1656, doi. 10.3778/j.issn.1673-9418.2408021

By:

杨晓艺;
兰雨晴;
张越

Publication type:

Article

Czynniki sprawności projektów wdrożeń informatycznych systemów zarządzania - bezpieczeństwo projektów.

Published in:

Security: Theory & Practice / Bezpieczeństwo.Teoria i Praktyka, 2024, v. 56, n. 4, p. 207, doi. 10.48269/2451-0718-btip-2024-4-013

By:

Komsta, Piotr

Publication type:

Article

Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems.

Published in:

Software & Systems Modeling, 2025, v. 24, n. 3, p. 679, doi. 10.1007/s10270-025-01271-8

By:

Valle, Pablo;
Arrieta, Aitor;
Han, Liping;
Ali, Shaukat;
Yue, Tao

Publication type:

Article

Error Classification and Static Detection Methods in Tri-Programming Models: MPI, OpenMP, and CUDA.

Published in:

Computers (2073-431X), 2025, v. 14, n. 5, p. 164, doi. 10.3390/computers14050164

By:

Altalhi, Saeed Musaad;
Eassa, Fathy Elbouraey;
Sharaf, Sanaa Abdullah;
Alghamdi, Ahmed Mohammed;
Almarhabi, Khalid Ali;
Khalid, Rana Ahmad Bilal

Publication type:

Article

The Validity and Effectiveness of a Business Game Beta Test.

Published in:

Simulation & Gaming, 2012, v. 43, n. 4, p. 481, doi. 10.1177/1046878111431868

By:

Gold, Steven C.;
Wolfe, Joseph

Publication type:

Article

On-chip bugs for debug.

Published in:

Electronics Systems & Software, 2006, v. 4, n. 3, p. 10, doi. 10.1049/ess:20060301

By:

Edwards, C.

Publication type:

Article

Impact of Brittle Faults with Varying Geometrical Structures on Rock Mass Engineering Properties in the North Tehran and Pourkan Verdij Fault Zones, Iran.

Published in:

Geotechnical & Geological Engineering, 2024, v. 42, n. 5, p. 3063, doi. 10.1007/s10706-023-02717-w

By:

Hassanbeigi, Elahe;
Solgi, Ali;
Arian, Mehran;
Uromeihy, Ali

Publication type:

Article

Research on the Failure Mechanism and Control Technology of a Near-Fault Roadway Floor.

Published in:

Geotechnical & Geological Engineering, 2023, v. 41, n. 5, p. 2951, doi. 10.1007/s10706-023-02439-z

By:

Zhao, XiangQian;
Bai, Jianbiao;
Li, Yanhui;
Yu, Yang;
Chen, Dingchao

Publication type:

Article

An enhanced salp swarm optimizer boosted by local search algorithm for modelling prediction problems in software engineering.

Published in:

Artificial Intelligence Review, 2023, v. 56, p. 3877, doi. 10.1007/s10462-023-10618-w

By:

Kassaymeh, Sofian;
Abdullah, Salwani;
Al-Betar, Mohammed Azmi;
Alweshah, Mohammed;
Salem, Amer Abu;
Makhadmeh, Sharif Naser;
Al-Ma'aitah, Mohammad Atwah

Publication type:

Article

Handling Class-Imbalance with KNN (Neighbourhood) Under-Sampling for Software Defect Prediction.

Published in:

Artificial Intelligence Review, 2022, v. 55, n. 3, p. 2023, doi. 10.1007/s10462-021-10044-w

By:

Goyal, Somya

Publication type:

Article

Assertions in software testing: survey, landscape, and trends.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 117, doi. 10.1007/s10009-025-00794-1

By:

Taromirad, Masoumeh;
Runeson, Per

Publication type:

Article

Six years later: testing vs. model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 633, doi. 10.1007/s10009-024-00769-8

By:

Beyer, Dirk;
Lemberger, Thomas

Publication type:

Article

Generating test as a web service (TaaWS) through a method-based attribute grammar.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 511, doi. 10.1007/s10009-022-00649-z

By:

Habibi, Elahe;
Mirian-Hosseinabadi, Seyed-Hasan

Publication type:

Article

Software test results exploration and visualization with continuous integration and nightly testing.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 2, p. 261, doi. 10.1007/s10009-022-00647-1

By:

Strandberg, Per Erik;
Afzal, Wasif;
Sundmark, Daniel

Publication type:

Article

TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 879, doi. 10.1007/s10009-021-00631-1

By:

Beyer, Dirk;
Huisman, Marieke;
Kordon, Fabrice;
Steffen, Bernhard

Publication type:

Article

CoVeriTest: interleaving value and predicate analysis for test-case generation.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 847, doi. 10.1007/s10009-020-00572-1

By:

Jakobs, Marie-Christine

Publication type:

Article

First international competition on software testing.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 833, doi. 10.1007/s10009-021-00613-3

By:

Beyer, Dirk

Publication type:

Article

TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 829, doi. 10.1007/s10009-021-00611-5

By:

Beyer, Dirk;
Huisman, Marieke

Publication type:

Article

ESBMC 6.1: automated test case generation using bounded model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 857, doi. 10.1007/s10009-020-00571-2

By:

Gadelha, Mikhail R.;
Menezes, Rafael S.;
Cordeiro, Lucas C.

Publication type:

Article

Plain random test generation with PRTest.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 871, doi. 10.1007/s10009-020-00568-x

By:

Lemberger, Thomas

Publication type:

Article

Cooperative verifier-based testing with CoVeriTest.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 313, doi. 10.1007/s10009-020-00587-8

By:

Beyer, Dirk;
Jakobs, Marie-Christine

Publication type:

Article

Comparing mutation coverage against branch coverage in an industrial setting.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 365, doi. 10.1007/s10009-020-00567-y

By:

Parsai, Ali;
Demeyer, Serge

Publication type:

Article

A study of learning likely data structure properties using machine learning models.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 601, doi. 10.1007/s10009-020-00577-w

By:

Usman, Muhammad;
Wang, Wenxi;
Wang, Kaiyuan;
Yelen, Cagdas;
Dini, Nima;
Khurshid, Sarfraz

Publication type:

Article

A greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 183, doi. 10.1007/s10009-018-00506-y

By:

Allawi, Hamzeh M.;
Al Manaseer, Waref;
Al Shraideh, Mohammad

Publication type:

Article

Diversity of graph models and graph generators in mutation testing.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 1, p. 57, doi. 10.1007/s10009-019-00530-6

By:

Semeráth, Oszkár;
Farkas, Rebeka;
Bergmann, Gábor;
Varró, Dániel

Publication type:

Article

TESTREX: a framework for repeatable exploits.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 1, p. 105, doi. 10.1007/s10009-017-0474-1

By:

Dashevskyi, Stanislav;
dos Santos, Daniel Ricardo;
Massacci, Fabio;
Sabetta, Antonino

Publication type:

Article

Automated test generation using model checking: an industrial evaluation.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 335, doi. 10.1007/s10009-014-0355-9

By:

Enoiu, Eduard;
Čaušević, Adnan;
Ostrand, Thomas;
Weyuker, Elaine;
Sundmark, Daniel;
Pettersson, Paul

Publication type:

Article

Generating test case chains for reactive systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 319, doi. 10.1007/s10009-014-0358-6

By:

Schrammel, Peter;
Melham, Tom;
Kroening, Daniel

Publication type:

Article

Advances in test generation for testing software and systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 245, doi. 10.1007/s10009-015-0404-z

By:

Yenigün, Hüsnü;
Yilmaz, Cemal;
Ulrich, Andreas

Publication type:

Article

Assessing the effects of introducing a new software development process: a methodological description.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 1, doi. 10.1007/s10009-013-0275-0

By:

Nilsson, Agneta;
Castro, Laura;
Rivas, Samuel;
Arts, Thomas

Publication type:

Article

A multiple case study on risk-based testing in industry.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 609, doi. 10.1007/s10009-014-0328-z

By:

Felderer, Michael;
Ramler, Rudolf

Publication type:

Article

A systematic review of state-based test tools.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 59, doi. 10.1007/s10009-013-0291-0

By:

Shafique, Muhammad;
Labiche, Yvan

Publication type:

Article

Testing abstract behavioral specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 107, doi. 10.1007/s10009-014-0301-x

By:

Wong, Peter;
Bubel, Richard;
Boer, Frank;
Gómez-Zamalloa, Miguel;
Gouw, Stijn;
Hähnle, Reiner;
Meinke, Karl;
Sindhu, Muddassar

Publication type:

Article

Survey on test data generation tools.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 727, doi. 10.1007/s10009-013-0272-3

By:

Galler, Stefan;
Aichernig, Bernhard

Publication type:

Article

Risk-based testing via active continuous quality control.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 569, doi. 10.1007/s10009-014-0321-6

By:

Neubauer, Johannes;
Windmüller, Stephan;
Steffen, Bernhard

Publication type:

Article

Approaches for the combined use of risk analysis and testing: a systematic literature review.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 627, doi. 10.1007/s10009-014-0330-5

By:

Erdogan, Gencer;
Li, Yan;
Runde, Ragnhild;
Seehusen, Fredrik;
Stølen, Ketil

Publication type:

Article

A taxonomy of risk-based testing.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 559, doi. 10.1007/s10009-014-0332-3

By:

Felderer, Michael;
Schieferdecker, Ina

Publication type:

Article

Tailored generation of concurrent benchmarks.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 543, doi. 10.1007/s10009-014-0339-9

By:

Steffen, Bernhard;
Howar, Falk;
Isberner, Malte;
Naujokat, Stefan;
Margaria, Tiziana

Publication type:

Article

Model-based test generation using extended symbolic grammars.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 437, doi. 10.1007/s10009-014-0316-3

By:

Guo, Hai-Feng;
Subramaniam, Mahadevan

Publication type:

Article

Program verification and testing technologies.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 335, doi. 10.1007/s10009-014-0327-0

By:

Margaria, Tiziana;
Qiu, Zongyan;
Yang, Hongli

Publication type:

Article

Developments in automated verification techniques.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 2, p. 123, doi. 10.1007/s10009-013-0297-7

By:

Flanagan, Cormac;
König, Barbara

Publication type:

Article

More testable properties.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 407, doi. 10.1007/s10009-011-0220-z

By:

Falcone, Yliès;
Fernandez, Jean-Claude;
Jéron, Thierry;
Marchand, Hervé;
Mounier, Laurent

Publication type:

Article

Model-based testing of software and systems: recent advances and challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 383, doi. 10.1007/s10009-012-0240-3

By:

Petrenko, Alexandre;
Simao, Adenilso;
Maldonado, José

Publication type:

Article

Iterative delta debugging.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 223, doi. 10.1007/s10009-010-0139-9

By:

Artho, Cyrille

Publication type:

Article

Preface.

Published in:

2011

By:

Chockler, Hana;
Hu, Alan

Publication type:

Editorial