Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarsha Chechik
Person information
- affiliation: University of Toronto, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j47]Ramy Shahin
, Rafael Toledo, Robert Hackman, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying declarative analysis to industrial automotive software product line models. Empir. Softw. Eng. 28(2): 40 (2023)- [j46]Md Nafee Al Islam, Muhammed Tawfiq Chowdhury, Ankit Agrawal, Michael Murphy, Raj Mehta, Daria Kudriavtseva, Jane Cleland-Huang, Michael Vierhauser, Marsha Chechik:
Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems. J. Syst. Softw. 197: 111543 (2023) - [j45]Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik:
The ForeMoSt approach to building valid model-based safety arguments. Softw. Syst. Model. 22(5): 1473-1494 (2023) - [j44]Ramy Shahin, Murad Akhundov, Marsha Chechik:
Annotative Software Product Line Analysis Using Variability-Aware Datalog. IEEE Trans. Software Eng. 49(3): 1323-1341 (2023) - [c176]Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik:
Early Verification of Legal Compliance via Bounded Satisfiability Checking. CAV (3) 2023: 374-396 - [c175]Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik:
Assurance Case Development as Data: A Manifesto. ICSE (NIER) 2023: 135-139 - [c174]Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce:
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. SAFECOMP 2023: 3-10 - [c173]Alan Wang, Nick Feng, Marsha Chechik:
Code-Level Functional Equivalence Checking of Annotative Software Product Lines. SPLC (A) 2023: 64-75 - [c172]Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik:
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. SPLC (A) 2023: 117-128 - [c171]Marsha Chechik:
Defining, Analyzing, Querying and Assuring Product Line Models. VaMoS 2023: 1 - [c170]Alessio Di Sandro, Ramy Shahin, Marsha Chechik:
Adding Product-Line Capabilities to Your Favourite Modeling Language. VaMoS 2023: 3-12 - [p4]Yi Li, Julia Rubin, Marsha Chechik:
Semantic History Slicing. Handbook of Re-Engineering Software Intensive Systems into Software Product Lines 2023: 53-77 - [e15]Marsha Chechik, Joost-Pieter Katoen, Martin Leucker:
Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Lecture Notes in Computer Science 14000, Springer 2023, ISBN 978-3-031-27480-0 [contents] - 2022
- [j43]Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay:
Property Satisfiability Analysis for Product Lines of Modelling Languages. IEEE Trans. Software Eng. 48(2): 397-416 (2022) - [c169]Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik:
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. ICSE 2022: 1145-1156 - [c168]Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Marsha Chechik:
What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components. ISSRE 2022: 49-60 - [c167]Marsha Chechik:
On safety, assurance, and reliability: a software engineering perspective (keynote). ESEC/SIGSOFT FSE 2022: 2 - [i14]Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik:
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. CoRR abs/2202.03930 (2022) - [i13]Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik:
Bounded Satisfiability Checking of Metric First-order Temporal Logic. CoRR abs/2209.04052 (2022) - 2021
- [j42]Alicia M. Grubb, Marsha Chechik:
Formal reasoning for analyzing goal models that evolve over time. Requir. Eng. 26(3): 423-457 (2021) - [c166]Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik:
Verification by Gambling on Program Slices. ATVA 2021: 266-282 - [c165]Ramy Shahin, Robert Hackman, Rafael Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. MoDELS 2021: 145-155 - [c164]Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik:
A Lean Approach to Building Valid Model-Based Safety Arguments. MoDELS 2021: 194-204 - [c163]Ramy Shahin, Sahar Kokaly, Marsha Chechik:
Towards Certified Analysis of Software Product Line Safety Cases. SAFECOMP 2021: 130-145 - [c162]Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik:
Validating Safety Arguments with Lean. SEFM 2021: 23-43 - [e14]Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta:
ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. ACM 2021, ISBN 978-1-4503-8562-6 [contents] - [i12]Ramy Shahin, Sahar Kokaly, Marsha Chechik:
Towards Certified Analysis of Software Product Line Safety Cases. CoRR abs/2105.00041 (2021) - [i11]Ramy Shahin, Robert Hackman, Rafael Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. CoRR abs/2107.07690 (2021) - 2020
- [j41]Ramy Shahin, Marsha Chechik:
Automatic and efficient variability-aware lifting of functional programs. Proc. ACM Program. Lang. 4(OOPSLA): 157:1-157:27 (2020) - [j40]Alicia M. Grubb, Marsha Chechik:
Reconstructing the past: the case of the Spadina Expressway. Requir. Eng. 25(2): 253-272 (2020) - [j39]Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik:
Heterogeneous megamodel management using collection operators. Softw. Syst. Model. 19(1): 231-260 (2020) - [c161]Boyue Caroline Hu, Rick Salay, Krzysztof Czarnecki, Mona Rahimi, Gehan M. K. Selim, Marsha Chechik:
Towards Requirements Specification for Machine-learned Perception Based on Human Performance. AIRE@RE 2020: 48-51 - [c160]Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik:
GenSlice: Generalized Semantic History Slicing. ICSME 2020: 81-91 - [c159]Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik:
Scaling Client-Specific Equivalence Checking via Impact Boundary Search. ASE 2020: 734-745 - [c158]Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly:
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. MoDELS (Companion) 2020: 15:1-15:5 - [c157]Ramy Shahin, Marsha Chechik:
Variability-Aware Datalog. PADL 2020: 213-221 - [c156]Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik:
Just Enough Formality in Assurance Argument Structures. SAFECOMP 2020: 34-49 - [i10]Ramy Shahin, Marsha Chechik:
Automatic and Efficient Variability-Aware Lifting of Functional Programs. CoRR abs/2010.00697 (2020)
2010 – 2019
- 2019
- [j38]Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik:
Precise semantic history slicing through dynamic delta refinement. Autom. Softw. Eng. 26(4): 757-793 (2019) - [j37]Mike Maksimov, Sahar Kokaly, Marsha Chechik:
A Survey of Tool-supported Assurance Case Assessment Techniques. ACM Comput. Surv. 52(5): 101:1-101:34 (2019) - [j36]Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi:
A verification-driven framework for iterative design of controllers. Formal Aspects Comput. 31(5): 459-502 (2019) - [j35]Michalis Famelis, Marsha Chechik:
Managing design-time uncertainty. Softw. Syst. Model. 18(2): 1249-1284 (2019) - [c155]Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi:
Software Assurance in an Uncertain World. FASE 2019: 3-21 - [c154]Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik:
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. MoDELS (Companion) 2019: 2-11 - [c153]Marsha Chechik:
Uncertain Requirements, Assurance and Machine Learning. RE 2019: 2-3 - [c152]Mona Rahimi, Jin L. C. Guo, Sahar Kokaly, Marsha Chechik:
Toward Requirements Specification for Machine-Learned Components. RE Workshops 2019: 241-244 - [c151]Ramy Shahin, Marsha Chechik, Rick Salay:
Lifting Datalog-based analyses to software product lines. ESEC/SIGSOFT FSE 2019: 39-49 - [c150]Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger:
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. VSTTE 2019: 19-29 - [e13]Marsha Chechik, Daniel Strüber, Dániel Varró:
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019. ACM 2019, ISBN 978-1-7281-2231-1 [contents] - [i9]Ramy Shahin, Marsha Chechik, Rick Salay:
Lifting Datalog-Based Analyses to Software Product Lines. CoRR abs/1907.02192 (2019) - [i8]Ramy Shahin, Marsha Chechik:
Variability-aware Datalog. CoRR abs/1912.03854 (2019) - [i7]Thorsten Berger, Marsha Chechik, Timo Kehrer, Manuel Wimmer:
Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191). Dagstuhl Reports 9(5): 1-30 (2019) - 2018
- [j34]Marsha Chechik, Paul Grünbacher:
Guest editorial: selected areas in automated software engineering. Autom. Softw. Eng. 25(1): 45-46 (2018) - [j33]Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger:
Variability-based model transformation: formal foundation and application. Formal Aspects Comput. 30(1): 133-162 (2018) - [j32]Sandrine Blazy, Marsha Chechik:
Selected Extended Papers of VSTTE 2016. J. Autom. Reason. 60(3): 255-256 (2018) - [j31]Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik:
Semantic Slicing of Software Version Histories. IEEE Trans. Software Eng. 44(2): 182-201 (2018) - [c149]Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi:
Supporting Verification-Driven Incremental Distributed Design of Components. FASE 2018: 169-188 - [c148]Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin:
FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. FASE 2018: 319-336 - [c147]Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik:
CSlicerCloud: a web-based semantic history slicing framework. ICSE (Companion Volume) 2018: 57-60 - [c146]Federico Mora, Yi Li, Julia Rubin, Marsha Chechik:
Client-specific equivalence checking. ASE 2018: 441-451 - [c145]Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay:
Model Transformation Product Lines. MoDELS 2018: 67-77 - [c144]Alicia M. Grubb, Marsha Chechik:
BloomingLeaf: A Formal Tool for Requirements Evolution Over Time. RE 2018: 490-491 - [c143]Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik:
Two Decades of Assurance Case Tools: A Survey. SAFECOMP Workshops 2018: 49-59 - [c142]Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik:
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. SAFECOMP Workshops 2018: 60-70 - [c141]Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik:
Transformation of Software Product Lines. Software Engineering 2018: 51-52 - [c140]Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay:
Analysing meta-model product lines. SLE 2018: 160-173 - [e12]Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman:
Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. ACM 2018, ISBN 978-1-4503-5638-1 [contents] - [e11]Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman:
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. ACM 2018, ISBN 978-1-4503-5663-3 [contents] - 2017
- [j30]Marsha Chechik, Davide Di Ruscio:
Report from the 9th Workshop on Modelling in Software Engineering(MiSE 2017). ACM SIGSOFT Softw. Eng. Notes 42(4): 21-24 (2017) - [c139]Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse:
Runtime monitoring of web service conversations. CASCON 2017: 2-17 - [c138]Christina Chung, Amit Kadan, Yueti Yang, Asako Matsuoka, Julia Rubin, Marsha Chechik:
The impact of visual load on performance in a human-computation game. FDG 2017: 51:1-51:4 - [c137]Davide Di Ruscio, Marsha Chechik, Bernhard Rumpe:
9th Workshop on Modelling in Software Engineering (MiSE 2017). MiSE@ICSE 2017: 1 - [c136]Cynthia Disenfeld, Ioanna Stavropoulou, Julia Rubin, Marsha Chechik:
FPH: efficient detection of feature interactions through non-commutativity. ICSE (Companion Volume) 2017: 225 - [c135]Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik:
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. MoDELS 2017: 93-100 - [c134]Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik:
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. MoDELS 2017: 101-111 - [c133]Michalis Famelis, Marsha Chechik:
Managing Design-Time Uncertainty. MoDELS 2017: 179 - [c132]Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik:
A dataset for dynamic discovery of semantic changes in version controlled software histories. MSR 2017: 523-526 - [c131]Alicia M. Grubb, Marsha Chechik:
Modeling and Reasoning with Changing Intentions: An Experiment. RE 2017: 164-173 - [c130]Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum:
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP 2017: 69-85 - [c129]Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger:
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. Software Engineering 2017: 135-136 - [c128]Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik:
FHistorian: Locating Features in Version Histories. SPLC (A) 2017: 49-58 - 2016
- [c127]Shoham Ben-David, Marsha Chechik, Sebastián Uchitel:
Observational Refinement and Merge for Disjunctive MTSs. ATVA 2016: 287-303 - [c126]Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger:
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. FASE 2016: 122-140 - [c125]Rick Salay, Steffen Zschaler, Marsha Chechik:
Correct Reuse of Transformations is Hard to Guarantee. ICMT 2016: 107-122 - [c124]Christina Chung, Asako Matsuoka, Yueti Yang, Julia Rubin, Marsha Chechik:
Serious games for NP-hard problems: challenges and insights. GAS@ICSE 2016: 29-32 - [c123]Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum:
Model management for regulatory compliance: a position paper. MiSE@ICSE 2016: 74-80 - [c122]Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber:
Perspectives of Model Transformation Reuse. IFM 2016: 28-44 - [c121]Alicia M. Grubb, Gary Song, Marsha Chechik:
GrowingLeaf: Supporting Requirements Evolution over Time. iStar 2016: 31-36 - [c120]Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik:
Precise semantic history slicing through dynamic delta refinement. ASE 2016: 495-506 - [c119]Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum:
Heterogeneous Megamodel Slicing for Model Evolution. ME@MoDELS 2016: 50-59 - [c118]Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik:
A model management approach for assurance case reuse due to system evolution. MoDELS 2016: 196-206 - [c117]Alicia M. Grubb, Marsha Chechik:
Looking into the Crystal Ball: Requirements Evolution over Time. RE 2016: 86-95 - [e10]Marsha Chechik, Jean-François Raskin:
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9636, Springer 2016, ISBN 978-3-662-49673-2 [contents] - [e9]Sandrine Blazy, Marsha Chechik:
Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9971, 2016, ISBN 978-3-319-48868-4 [contents] - 2015
- [j29]Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny:
A Methodology for Verifying Refinements of Partial Models. J. Object Technol. 14(3): 3:1-31 (2015) - [j28]Marsha Chechik, Geri Georg, Martin Gogolla, Jean-Marc Jézéquel, Bernhard Rumpe, Martin Schindler:
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015. Softw. Syst. Model. 14(2): 525-532 (2015) - [j27]Julia Rubin, Krzysztof Czarnecki, Marsha Chechik:
Cloned product variants: from ad-hoc to managed software product lines. Int. J. Softw. Tools Technol. Transf. 17(5): 627-646 (2015) - [c116]Rick Salay, Marsha Chechik:
A Generalized Formal Framework for Partial Modeling. FASE 2015: 133-148 - [c115]Daniel Strüber, Julia Rubin, Marsha Chechik, Gabriele Taentzer:
A Variability-Based Approach to Reusable and Efficient Model Transformations. FASE 2015: 283-298 - [c114]Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe, S. Ramesh:
Migrating Automotive Product Lines: A Case Study. ICMT 2015: 82-97 - [c113]Rick Salay, Fabiano Dalpiaz, Marsha Chechik:
Integrating Crowd Intelligence into Software. CSI-SE 2015: 1-7 - [c112]Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik:
MU-MMINT: An IDE for Model Uncertainty. ICSE (2) 2015: 697-700 - [c111]Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige:
7th International Workshop on Modeling in Software Engineering (MiSE 2015). ICSE (2) 2015: 985-986 - [c110]Yi Li, Julia Rubin, Marsha Chechik:
Semantic Slicing of Software Version Histories (T). ASE 2015: 686-696 - [c109]Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró:
Property-Based Methods for Collaborative Model Development. GEMOC+MPM@MoDELS 2015: 1-7 - [c108]Rick Salay, Steffen Zschaler, Marsha Chechik:
Transformation Reuse: What is the Intent? AMT@MoDELS 2015: 7-15 - [c107]Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik:
MMINT: A Graphical Tool for Interactive Model Management. P&D@MoDELS 2015: 16-19 - [c106]Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik:
Enriching megamodel management with collection-based operators. MoDELS 2015: 236-245 - [c105]Fabiano Dalpiaz, Michal Korenko, Rick Salay, Marsha Chechik:
Using the crowds to satisfy unbounded requirements. CrowdRE@RE 2015: 19-24 - [c104]Thorsten Berger, Daniela Lettner, Julia Rubin, Paul Grünbacher, Adeline Silva, Martin Becker, Marsha Chechik, Krzysztof Czarnecki:
What is a feature?: a qualitative study of features in industrial software product lines. SPLC 2015: 16-25 - [c103]Marsha Chechik:
Modeling and Reasoning about Software Systems Containing Uncertainty and Variability. TASE 2015: 1 - [e8]Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige:
7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7055-4 [contents] - [e7]Dimitris S. Kolovos, Marsha Chechik:
Proceedings of the Doctoral Symposium at the 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2015 (MoDELS 2015), Ottawa, Canada, September 29, 2015. CEUR Workshop Proceedings 1531, CEUR-WS.org 2015 [contents] - 2014
- [c102]Daniel Strüber, Julia Rubin, Gabriele Taentzer, Marsha Chechik:
Splitting Models Using Information Retrieval and Model Crawling Techniques. FASE 2014: 47-62 - [c101]Teemu Kanstrén, Marsha Chechik:
A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing. FedCSIS 2014: 1591-1598 - [c100]Yi Li, Tian Huat Tan, Marsha Chechik:
Management of Time Requirements in Component-Based Systems. FM 2014: 399-415 - [c99]Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik:
Using developer conversations to resolve uncertainty in software development: a position paper. RSSE@ICSE 2014: 1-5 - [c98]Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik:
Lifting model transformations to product lines. ICSE 2014: 117-128 - [c97]Teemu Kanstrén, Marsha Chechik:
Trace Reduction and Pattern Analysis to Assist Debugging in Model-Based Testing. ISSRE Workshops 2014: 238-243 - [c96]Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik:
Symbolic optimization with SMT solvers. POPL 2014: 607-618 - [c95]Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro:
Supporting early decision-making in the presence of uncertainty. RE 2014: 33-42 - [e6]