Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
Tian, Zhao, Chen, Junjie, Zhang, Xiangyu
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software
Birchler, Christian, Rohrbach, Cyrill, Kim, Hyeongkyun, Gambi, Alessio, Liu, Tianhai, Horneber, Jens, Kehrer, Timo, Panichella, Sebastiano
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)
Get full text
Conference Proceeding
EP-Detector: Automatic Detection of Error-Prone Operation Anomalies in Android Applications
Guo, Chenkai, Wang, Qianlu, Dong, Naipeng, Fan, Lingling, Wang, Tianhong, Zhang, Weijie, Chen, Enbao, Liu, Zheli, Yu, Lu
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
A Generalized Approach for Solving Web Form Constraints
Karthein, Bjorn, Staicu, Cristian-Alexandru, Zeller, Andreas
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Get full text
Conference Proceeding
CoMSA: A Modeling-Driven Sampling Approach for Configuration Performance Testing
Xia, Yuanjie, Ding, Zishuo, Shang, Weiyi
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)
Get full text
Conference Proceeding
Parametric Falsification of Many Probabilistic Requirements Under Flakiness
Camilli, Matteo, Mirandola, Raffaela
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
ADA: An Application-Conscious Data Acquirer for Visual Molecular Dynamics
Published in 50th International Conference on Parallel Processing
Get full text
Conference Proceeding
Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis
Wang, Zan, You, Hanmo, Chen, Junjie, Zhang, Yingyi, Dong, Xuyuan, Zhang, Wenbin
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Get full text
Conference Proceeding
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning
Zhao, Hanrui, Zeng, Xia, Qi, Niuniu, Yang, Zhengfeng, Zeng, Zhenbing
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Get full text
Conference Proceeding
COLORIS: A dynamic cache partitioning system using page coloring
Ying Ye, West, Richard, Zhuoqun Cheng, Ye Li
Published in PACT '14 : proceedings of the 23rd International Conference on Parallel Architectures and Compilation Techniques : August 24-27, 2014, Edmonton, AB, Canada (01.08.2014)
Published in PACT '14 : proceedings of the 23rd International Conference on Parallel Architectures and Compilation Techniques : August 24-27, 2014, Edmonton, AB, Canada (01.08.2014)
Get full text
Conference Proceeding
From Sandbox to Playground: Dynamic Virtual Environments in the Grid
Keahey, Katarzyna, Doering, Karl, Foster, Ian
Published in Fifth IEEE/ACM International Workshop on Grid Computing (08.11.2004)
Published in Fifth IEEE/ACM International Workshop on Grid Computing (08.11.2004)
Get full text
Conference Proceeding
Software architecture: foundations, theory, and practice
Medvidovic, Nenad, Taylor, Richard N.
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding
Parf: Adaptive Parameter Refining for Abstract Interpretation
Wang, Zhongyi, Yang, Linyu, Chen, Mingshuai, Bu, Yixuan, Li, Zhiyang, Wang, Qiuye, Qin, Shengchao, Yi, Xiao, Yin, Jianwei
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Get full text
Conference Proceeding
Adapting Requirements Models to Varying Environments
Alrajeh, Dalal, Cailliau, Antoine, van Lamsweerde, Axel
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Get full text
Conference Proceeding