Search for persons
X
?
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis ,
1
ATR: template-based repair for Alloy specifications:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering ,
2
flack : Counterexample-Guided Fault Localization for All..:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings ,
3
Artifact of 'FLACK: counterexample-guided fault localizatio..:
, In:
?
Cellular, Molecular, Physiological, and Behavioral Aspects of Spinal Cord Injury ,
5
Contributors:
, In:
?
Sustainable Development and Biodiversity; Sustainable Utilization and Conservation of Plant Genetic Diversity ,
8
Conservation of Plant Genetic Resources in Brazil:
, In:
?
Information Systems and Technologies; Lecture Notes in Networks and Systems ,
9
Transcolar Rural New Route Cost Calculation Software and Co..:
, In:
?
Proceedings of the 15th ACM Multimedia Systems Conference ,
10
Automatic Preparation of Sensory Effects : Managing Sync..:
, In:
?
2023 15th IEEE International Conference on Industry Applications (INDUSCON) ,
11
Time-Domain Feature Extraction and Selection for Detecting ..:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
12
Efficient Bounded Exhaustive Input Generation from Program ..:
, In:
?
2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) ,
13
Precise Lazy Initialization for Programs with Complex Heap ..:
, In:
?
2023 15th IEEE International Conference on Industry Applications (INDUSCON) ,
14
An Efficiency Study of a Three-Phase Induction Motor Throug..:
, In:
?
Developments in Primatology: Progress and Prospects; Owl Monkeys ,
15