default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 236
Volume 236, 2024
- Saba Gholizadeh Ansari
, I. S. W. B. Prasetya, Mehdi Dastani, Gabriele Keller, Davide Prandi, Fitsum Meshesha Kifetew, Frank Dignum:
PX-MBT: A framework for model-based player experience testing. 103108 - Ana Díaz-Muñoz, Moisés Rodríguez, Mario Piattini:
Implementing an environment for hybrid software evaluation. 103109 - Dongjin Yu, Quanxin Yang, Xin Chen, Jie Chen, Sixuan Wang, Yihang Xu:
Actionable code smell identification with fusion learning of metrics and semantics. 103110 - Stephannie Jimenez, Gordana Rakic, Silvia Takahashi, Nicolás Cardozo:
Out of step: Code clone detection for mobile apps across different language codebases. 103112 - Joabe Jesus, Augusto Sampaio:
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving. 103113 - Muhammad Iqbal, Muhammad Ijaz, Tehseen Mazhar, Tariq Shahzad, Qamar Abbas, Yazeedyasin Ghadi, Wasim Ahmad, Habib Hamam:
Exploring issues of story-based effort estimation in Agile Software Development (ASD). 103114 - Juan Cubillos, Jairo Aponte, Diana Gómez, Edwar Rojas:
Agile effort estimation in Colombia: An assessment and opportunities for improvement. 103115 - Antonio Iannopollo, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
Synthesizing LTL contracts from component libraries using rich counterexamples. 103116 - Kazumasa Shimari, Takashi Ishio, Tetsuya Kanda, Katsuro Inoue:
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging. 103117 - Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu:
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. 103118 - Arnaud Gazda, Océane Koska:
A pragma based C++ framework for hybrid quantum/classical computation. 103119 - Mashail N. Alkhomsan, Mohammad R. Alshayeb, Malak Baslyman:
Toward a novel taxonomy to capture code smells caused by refactoring. 103120 - Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying safety of neural networks from topological perspectives. 103121 - Imene Mezenner, Samia Bouyakoub, Fayçal M'hamed Bouyakoub:
S2O: A smart objects orchestrator framework based on the web of things. 103130 - Valentina Castiglioni, Michele Loreti, Simone Tini:
Stark: A tool for the analysis of CPSs robustness. 103134
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-05 21:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
