Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Affan Rauf"'
Publikováno v:
IEEE Transactions on Reliability. 68:1154-1167
Generation of complex heap structures is required for many software testing and verification techniques, which are used to enhance software reliability. It enables them to work for programs dependent on such structures. Generating all the valid struc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5b9513ff25b1b25554cbaf3f214ae967
https://doi.org/10.1109/tr.2019.2911989
https://doi.org/10.1109/tr.2019.2911989
Autor:
Affan Rauf, Sehar Shakir, Amos Ncube, Hafiz Muhammad Abd-ur-Rehman, Abdul Kashif Janjua, Saeeda Khanum, Asif Hussain Khoja
Publikováno v:
Environmental Impact Assessment Review. 94:106746
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81a5a6812298bb7a3f3a93cbf8a71545
https://doi.org/10.1016/j.eiar.2022.106746
https://doi.org/10.1016/j.eiar.2022.106746
Publikováno v:
ICSE (Companion Volume)
The time required to generate valid structurally complex inputs grows exponentially with the input size. It makes it hard to predict, for a given structure, the most feasible input size that is completely explorable within a time budget. Iterative de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c0f219cc20e034be212c2d2f0c8efd0
https://doi.org/10.1145/3183440.3195002
https://doi.org/10.1145/3183440.3195002
Society is becoming increasingly dependent on software which results in an increasing cost of software malfunction. At the same time, software is getting increasingly complex and testing and verification are becoming harder and harder. Software model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e7e6e6c06cd43bfa18a8004591d71635
https://doi.org/10.1016/bs.adcom.2017.11.001
https://doi.org/10.1016/bs.adcom.2017.11.001
