Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Using Domain-Specific Corpora for Improved Handling of Ambiguity in RequirementsEzzini, Saad ; Abualhaija, Sallam ; Arora, Chetan ; Sabetzadeh, Mehrdad ; Briand, Lionel C.2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1485-1497IEEETexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Visibility of control in adaptive systemsMüller, Hausi ; Pezzè, Mauro ; Shaw, MaryInternational Conference on Software Engineering 2008, 2008, Vol.2008 (4), p.23-26New York, NY, USA: ACMTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
FeatureMapper: mapping features to modelsHeidenreich, Florian ; Kopcsek, Jan ; Wende, ChristianCompanion of the 30th international conference on Software engineering, 2008, Vol.2008 (3), p.943-944New York, NY, USA: ACMTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Vetting undesirable behaviors in android apps with permission use analysisZhang, Yuan ; Yang, Min ; Xu, Bingquan ; Yang, Zhemin ; Gu, Guofei ; Ning, Peng ; Wang, X. Sean ; Zang, BinyuProceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.611-622New York, NY, USA: ACMTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Data Analytics and Machine Learning Methods, Techniques and Tool for Model-Driven Engineering of Smart IoT ServicesMoin, Armin2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021, p.287-292IEEETexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Towards a functional requirements prioritization with early mutation testingCondori-Fernandez, Nelly ; Granda, Maria Fernanda ; Vos, Tanja E. J.Proceedings of the 5th International Workshop on Requirements Engineering and Testing, 2018, p.21-24New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
ThEodorE: a Trace Checker for CPS PropertiesMenghi, Claudio ; Vigano, Enrico ; Bianculli, Domenico ; Briand, Lionel C.2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021, p.183-184IEEETexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
How to Identify Boundary Conditions with Contrasty Metric?Luo, Weilin ; Wan, Hai ; Song, Xiaotong ; Yang, Binhao ; Zhong, Hongzhen ; Chen, Yin2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1473-1484IEEETexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Inferring Resource Specifications from Natural Language API DocumentationHao Zhong ; Lu Zhang ; Tao Xie ; Hong Mei2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.307-318IEEETexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Automatic Generation of Object Usage Specifications from Large Method TracesPradel, M. ; Gross, T.R.2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.371-382IEEETexto completo disponível |