Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Dynamic Data Flow Testing of Object Oriented Systems
Denaro, Giovanni, Margara, Alessandro, Pezze, Mauro, Vivanti, Mattia
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing
Wong, Edmund, Lei Zhang, Song Wang, Taiyue Liu, Lin Tan
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
Chiminey: Reliable Computing and Data Management Platform in the Cloud
Yusuf, Iman I., Schmidt, Heinz W., Thomas, Ian E., Spichkova, Maria, Androulakis, Steve, Meyer, Grischa R., Drumm, Daniel W., Opletal, George, Russo, Salvy P., Buckle, Ashley M.
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
No PAIN, No Gain? The Utility of PArallel Fault INjections
Winter, Stefan, Schwahn, Oliver, Natella, Roberto, Suri, Neeraj, Cotroneo, Domenico
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
An Empirical Study on Quality Issues of Production Big Data Platform
Hucheng Zhou, Jian-Guang Lou, Hongyu Zhang, Haibo Lin, Haoxiang Lin, Tingting Qin
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
RECONTEST: Effective Regression Testing of Concurrent Programs
Terragni, Valerio, Shing-Chi Cheung, Zhang, Charles
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
Loading…
The Green Lab: Experimentation in Software Energy Efficiency
Procaccianti, Giuseppe, Lago, Patricia, Vetro, Antonio, Mendez Fernandez, Daniel, Wieringa, Roel
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
A Vision of Crowd Development
LaToza, Thomas D., Van Der Hoek, Andre
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
Loading…
Morpheus: Variability-Aware Refactoring in the Wild
Liebig, Jorg, Janker, Andreas, Garbe, Florian, Apel, Sven, Lengauer, Christian
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
FLEXISKETCH TEAM: Collaborative Sketching and Notation Creation on the Fly
Wuest, Dustin, Seyff, Norbert, Glinz, Martin
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications
Tanno, Haruto, Xiaojing Zhang, Hoshino, Takashi, Sen, Koushik
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
Tracking Static Analysis Violations over Time to Capture Developer Characteristics
Avgustinov, Pavel, Baars, Arthur I., Henriksen, Anders S., Lavender, Greg, Menzel, Galen, De Moor, Oege, Schafer, Max, Tibble, Julian
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems
Tsigkanos, Christos, Pasquale, Liliana, Ghezzi, Carlo, Nuseibeh, Bashar
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
TaskNav: Task-Based Navigation of Software Documentation
Treude, Christoph, Sicard, Mathieu, Klocke, Marc, Robillard, Martin
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
AutoCSP: Automatically Retrofitting CSP to Web Applications
Fazzini, Mattia, Saxena, Prateek, Orso, Alessandro
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
A Programming Model for Sustainable Software
Zhu, Haitao Steve, Lin, Chaoren, Liu, Yu David
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
Leveraging Informal Documentation to Summarize Classes and Methods in Context
Guerrouj, Latifa, Bourque, David, Rigby, Peter C.
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Loading…
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
Ben-David, Shoham, Sterin, Baruch, Atlee, Joanne M., Beidu, Sandy
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding