BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
1 × South Africa
Collaborated with:
J.Zhang C.Ge J.Z.0001 Z.Zhang S.Liu T.Liu X.Ma P.H.0002 H.Zhang
Talks about:
constraint (3) test (2) solv (2) probabilist (1) quasigroup (1) algorithm (1) techniqu (1) investig (1) interact (1) arithmet (1)

Person: Feifei Ma

DBLP DBLP: Ma:Feifei

Contributed to:

SAT 20122012
ICSE 20102010
CADE 20092009
IJCAR 20182018

Wrote 5 papers:

SAT-2012-ZhangMZ #constraints #identification #interactive #optimisation #theorem proving
Faulty Interaction Identification via Constraint Solving and Optimization (JZ, FM, ZZ), pp. 186–199.
ICSE-2010-Ma #analysis #constraints #testing #theorem proving
Constraint solving techniques for software testing and analysis (FM), pp. 417–420.
CADE-2009-MaLZ #constraints #linear
Volume Computation for Boolean Combination of Linear Arithmetic Constraints (FM, SL, JZ), pp. 453–468.
IJCAR-2018-GeMLZM #algorithm #approximate #probability
A New Probabilistic Algorithm for Approximate Model Counting (CG, FM, TL, JZ0, XM), pp. 312–328.
IJCAR-2018-HuangMGZZ #satisfiability #scalability #testing
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing (PH0, FM, CG, JZ0, HZ), pp. 354–369.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.