Marsha Chechik
Marsha Chechik
Professor of Computer Science, University of Toronto
Verified email at cs.toronto.edu - Homepage
TitleCited byYear
Matching and merging of statecharts specifications
S Nejati, M Sabetzadeh, M Chechik, S Easterbrook, P Zave
Proceedings of the 29th international conference on Software Engineering, 54-64, 2007
3342007
Multi-valued symbolic model-checking
M Chechik, B Devereux, S Easterbrook, A Gurfinkel
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (4), 371-408, 2003
2082003
An exploratory study of cloning in industrial software product lines
Y Dubinsky, J Rubin, T Berger, S Duszynski, M Becker, K Czarnecki
2013 17th European Conference on Software Maintenance and Reengineering, 25-34, 2013
1902013
A framework for multi-valued reasoning over inconsistent viewpoints
S Easterbrook, M Chechik
Proceedings of the 23rd international conference on software engineering …, 2001
1892001
Merging partial behavioural models
S Uchitel, M Chechik
ACM SIGSOFT Software Engineering Notes 29 (6), 43-52, 2004
1722004
A manifesto for model merging
G Brunet, M Chechik, S Easterbrook, S Nejati, N Niu, M Sabetzadeh
Proceedings of the 2006 international workshop on Global integrated model …, 2006
1602006
Synthesis of partial behavior models from properties and scenarios
S Uchitel, G Brunet, M Chechik
IEEE Transactions on Software Engineering 35 (3), 384-406, 2008
1302008
Partial models: Towards modeling and reasoning with uncertainty
M Famelis, R Salay, M Chechik
2012 34th International Conference on Software Engineering (ICSE), 573-583, 2012
1232012
Consistency checking of conceptual models via model merging
M Sabetzadeh, S Nejati, S Liaskos, S Easterbrook, M Chechik
15th IEEE International Requirements Engineering Conference (RE 2007), 221-230, 2007
1072007
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1022014
Managing cloned variants: a framework and experience
J Rubin, K Czarnecki, M Chechik
Proceedings of the 17th International Software Product Line Conference, 101-110, 2013
1002013
Combining related products into product lines
J Rubin, M Chechik
International Conference on Fundamental Approaches to Software Engineering …, 2012
992012
A survey of feature location techniques
J Rubin, M Chechik
Domain Engineering, 29-58, 2013
982013
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification
A Albarghouthi, Y Li, A Gurfinkel, M Chechik
International Conference on Computer Aided Verification, 672-678, 2012
952012
Runtime monitoring of web service conversations
J Simmonds, Y Gan, M Chechik, S Nejati, B O'Farrell, E Litani, ...
IEEE Transactions on Services Computing 2 (3), 223-244, 2009
942009
A buffer overflow benchmark for software model checkers
K Ku, TE Hart, M Chechik, D Lie
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
902007
MTSA: The modal transition system analyser
N D'Ippolito, D Fischbein, M Chechik, S Uchitel
Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008
872008
Model-checking over multi-valued logics
M Chechik, S Easterbrook, V Petrovykh
International Symposium of Formal Methods Europe, 72-98, 2001
872001
What is a feature?: a qualitative study of features in industrial software product lines
T Berger, D Lettner, J Rubin, P Grünbacher, A Silva, M Becker, M Chechik, ...
Proceedings of the 19th International Conference on Software Product Line, 16-25, 2015
852015
Behaviour model synthesis from properties and scenarios
S Uchitel, G Brunet, M Chechik
Proceedings of the 29th international conference on Software Engineering, 34-43, 2007
852007
The system can't perform the operation now. Try again later.
Articles 1–20