Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Kush Jain"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-28
Bounded-exhaustive testing (BET), which exercises a program under test for all inputs up to some bounds, is an effective method for detecting software bugs. Systematic property-based testing is a BET approach where developers write test generation pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14c3fb8b84a318e9cb79074236cc22c7
https://doi.org/10.1145/3485543
https://doi.org/10.1145/3485543
Publikováno v:
Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b45d3b7fd957967353302ad6b58bd7a5
https://doi.org/10.1145/3510457.3513072
https://doi.org/10.1145/3510457.3513072
Publikováno v:
2021 International Conference on Advances in Computing, Communication, and Control (ICAC3).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17d2558d30e99695a3940f67aeb79c2d
https://doi.org/10.1109/icac353642.2021.9697141
https://doi.org/10.1109/icac353642.2021.9697141
Publikováno v:
ICSE (Companion Volume)
Software developed and verified using proof assistants, such as Coq, can provide trustworthiness beyond that of software developed using traditional programming languages and testing practices. However, guarantees from formal verification are only as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c59614fc58167d3306ef839dd2559b9
https://doi.org/10.1145/3377812.3382156
https://doi.org/10.1145/3377812.3382156
Publikováno v:
Procedia Computer Science. 57:209-213
This paper deals with Sentence Validation - a sub-field of Natural Language Processing. Sentence Validation refers to verification of “Natural Language” sentence on basis of its syntax and semantics. Sentence Validation is usually carried either
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fff305eed46504fa0174e2b444a42151
Autor:
Wu, Wei-Cheng, Nongpoh, Bernard, Nour, Marwan, Marcozzi, Michaël, Bardin, Sébastien, Hauser, Christophe
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Jun2024, Vol. 33 Issue 5, p1-41, 41p
Autor:
SANCHEZ-STERN, ALEX1 sanchezstern@cs.umass.edu, FIRST, EMILY1 efirst@cs.umass.edu, ZHOU, TIMOTHY2 ttz2@illinois.edu, KAUFMAN, ZHANNA1 zhannakaufma@cs.umass.edu, BRUN, YURIY1 brun@cs.umass.edu, RINGER, TALIA2 tringer@illinois.edu
Publikováno v:
ACM Transactions on Programming Languages & Systems. Jun2023, Vol. 45 Issue 2, p1-30. 30p.