Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
Hierarchical Abstraction of Execution Traces for Program Comprehension
Feng, Yang, Dreef, Kaj, Jones, James, van Deursen, Arie
Published in 2018 IEEE/ACM 26th International Conference on Program Comprehension (ICPC) (01.05.2018)
Published in 2018 IEEE/ACM 26th International Conference on Program Comprehension (ICPC) (01.05.2018)
Get full text
Conference Proceeding
Loading…
Fault localization through evaluation sequences
Zhang, Zhenyu, Jiang, Bo, Chan, W.K., Tse, T.H., Wang, Xinming
Published in The Journal of systems and software (01.02.2010)
Published in The Journal of systems and software (01.02.2010)
Get full text
Journal Article
Loading…
Automatically Generating Test Cases for Specification Mining
Dallmeier, V., Knopp, N., Mallon, C., Fraser, G., Hack, S., Zeller, A.
Published in IEEE transactions on software engineering (01.03.2012)
Published in IEEE transactions on software engineering (01.03.2012)
Get full text
Journal Article
Loading…
Flow Logic for Process Calculi
Nielson, Hanne Riis, Nielson, Flemming, Pilegaard, Henrik
Published in ACM computing surveys (01.01.2012)
Published in ACM computing surveys (01.01.2012)
Get full text
Journal Article
Loading…
Loading…
LTL-specification for development and verification of control programs
Neyzov, Maxim V., Kuzmin, Egor V.
Published in Modelirovanie i analiz informacionnyh sistem (11.12.2023)
Published in Modelirovanie i analiz informacionnyh sistem (11.12.2023)
Get full text
Journal Article
Loading…
On Maximum Elastic Scheduling of Virtual Machines for Cloud-Based Data Center Networks
Wu, Jie, Lu, Shuaibing, Zheng, Huanyang
Published in 2018 IEEE International Conference on Communications (ICC) (01.05.2018)
Published in 2018 IEEE International Conference on Communications (ICC) (01.05.2018)
Get full text
Conference Proceeding
Loading…
Loading…
Using symbolic evaluation to understand behavior in configurable software systems
Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam
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
Loading…
Loading…
A Statistical Method for API Usage Learning and API Misuse Violation Finding
Panda, Deepak, Basia, Piyush, Nallavolu, Kushal, Zhong, Xin, Siy, Harvey, Song, Myoungkyu
Published in Proceedings (International Conference on Software Engineering Research, Management and Applications. Online) (23.05.2023)
Published in Proceedings (International Conference on Software Engineering Research, Management and Applications. Online) (23.05.2023)
Get full text
Conference Proceeding
Loading…
Loading…
Approximate Transformations as Mutation Operators
Hariri, Farah, Shi, August, Legunsen, Owolabi, Gligoric, Milos, Khurshid, Sarfraz, Misailovic, Sasa
Published in 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) (01.04.2018)
Published in 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) (01.04.2018)
Get full text
Conference Proceeding
Loading…
Loading…
Towards Transparent Introspection
Leach, Kevin, Spensky, Chad, Weimer, Westley, Fengwei Zhang
Published in 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) (01.03.2016)
Published in 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) (01.03.2016)
Get full text
Conference Proceeding